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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
Intellect
2010
|
| Online Access: | https://eprints.nottingham.ac.uk/28187/ |