An approach to compiler correctness
- 1 April 1975
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 10 (6) , 96-103
- https://doi.org/10.1145/390016.808428
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Correctness of a compiler for a Lisp subsetPublished by Association for Computing Machinery (ACM) ,1972
- Second-order mathematical theory of computationPublished by Association for Computing Machinery (ACM) ,1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Syntax-Directed TransductionJournal of the ACM, 1968
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- EULER: A generalization of ALGOL and its formal definition: Part 1Communications of the ACM, 1966