Compiling concurrency correctly: cutting out the middle man

QR Code

Compiling concurrency correctly: cutting out the middle man

The standard approach to proving compiler correctness for concurrent languages requires the use of multiple translations into an intermediate process calculus. We present a simpler approach that avoids the need for such an intermediate language, using a new method that allows us to directly establis...

Full description

Bibliographic Details
Main Authors:	Hu, Liyang, Hutton, Graham
Format:	Conference or Workshop Item
Published:	Intellect 2010
Online Access:	https://eprints.nottingham.ac.uk/28187/

Similar Items

Compiling concurrency correctly: verifying software transactional memory
by: Hu, Liyang
Published: (2013)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Cutting out continuations
by: Hutton, Graham, et al.
Published: (2016)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

Compiler-compiler for an eight bit microprocessor
by: Kasmiran Jumari,, et al.
Published: (1991)

Garbage-man-in-the-middle attack on the LUC4 cryptosystem.
by: Wong, Tze Jin, et al.
Published: (2009)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)

Compiling and executing Java code
by: Bhatti, Zeeshan, et al.
Published: (2011)

Concurrent hyphema and orbital apex syndrome following herpeszoster ophthalmicus in a middle aged lady
by: Khairuddin, Othman, et al.
Published: (2017)

Concurrent hyphema and orbital apex syndrome following herpeszoster ophthalmicus in a middle aged lady
by: Othman, Khairuddin, et al.
Published: (2017)

A novel algorithm to prevent man in the middle attack in LAN environment
by: Ahmed , Mohiuddin, et al.
Published: (2010)

CMBA at UNIMAS Cut Out For The Working Professional
by: Borneo Post Online
Published: (2017)

Compiling the business plan: financial plan
by: Weber, Paull
Published: (2008)

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

Compilation of Quranic verses related to visual function
by: Badarudin, Noor Ezailina, et al.
Published: (2016)

High-level language and compiler for reconfigurable computing
by: Hiew,, FS, et al.
Published: (2004)

Awg Tengah: compile academic findings into books
by: Malaysian Today
Published: (2002)

NEUCOMP2 - parallel neural network compiler
by: Sulaiman, Md. Nasir, et al.
Published: (1996)

Exploring traditional Chinese pattern through cut-out animation
by: Tey, Shun Yi
Published: (2015)

Concurrent engineering for composites
by: Salit, Mohd Sapuan
Published: (2010)

Concurrently controlled grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2018)

Concurrently controlled grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2018)

Compilation of Malay criminological terms from online news
by: Lee, Joanna Chiew Ling *, et al.
Published: (2019)

Collecting and compiling: The activity of seeking pictures in primary school
by: Lundh, Anna Hampson, et al.
Published: (2012)

Speech Processing in FPGA with C-to-RTL Compiler Technology
by: Tang, Wei hong, et al.
Published: (2008)

Compilation of Social Media and Social Networking Sites Features
by: Ruzainisuhanaliza, Abdul Muni, et al.
Published: (2013)

Compilation of Parameter Control for Mapping the Potential Landslide Areas
by: Maha Agung, P. A., et al.
Published: (2023)

Compilation of Parameter Control for Mapping the Potential Landslide Area
by: Maha Agung, P. A., et al.
Published: (2023)

Compilation of Parameter Control for Mapping the Potential Landslide Areas
by: Maha Agung, P. A., et al.
Published: (2023)

Compiler-based prefetching algorithm for recursive data structure
by: Anuar, Nurulhaini
Published: (2007)

Fixing the fulcrum on the freedom of speech seesaw: the government’s work is cut out
by: Fernandez, Joseph
Published: (2013)

Some properties of the concurrent grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2014)

Concurrent context-free grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2014)

Concurrent context-free grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2013)

Subject headings on Islam and the Muslims: a compilation according to LCSH
by: Suja', Balqis
Published: (2011)

A compilation of nanotechnology in thin film solar cell devices
by: Md Yunus, Nurul Amziah, et al.
Published: (2015)

Development Of An Automated Compilation Test System For Embedded System Testing
by: Ooi , Jun Hwan
Published: (2016)