Compiling concurrency correctly: cutting out the middle man
(2010)
Presentation / Conference Contribution
Hu, L., & Hutton, G. (2010). 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, usin... Read More about Compiling concurrency correctly: cutting out the middle man.