A constructive approach to compiler correctness
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 189-210
- https://doi.org/10.1007/3-540-10250-7_23
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967