Provably correct compiler development and implementation
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 141-155
- https://doi.org/10.1007/3-540-55984-1_14
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A mechanically verified code generatorJournal of Automated Reasoning, 1989
- Compiler Specification and VerificationPublished by Springer Nature ,1981
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978