Calculating correct compilers
In this article we present a new approach to the problem of calculating compilers. In particular, we develop a simple but general technique that allows us to derive correct compilers from high- level semantics by systematic calculation, with all details of the implementation of the compilers falling...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
2015
|
| Online Access: | https://eprints.nottingham.ac.uk/32702/ |