Compiling concurrency correctly: cutting out the middle man
(2010)
Presentation / Conference Contribution
Hu, L., & Hutton, G. Compiling concurrency correctly: cutting out the middle man. Presented at Symposium on Trends in Functional Programming (10th)
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.