Compiling a 50-year journey
Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
2017
|
| Online Access: | https://eprints.nottingham.ac.uk/46962/ |