Design and correctness of a compiler for a non-procedural language
- 1 January 1978
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 9 (3), 217-241
- https://doi.org/10.1007/bf00288883
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Lucid, a nonprocedural language with iterationCommunications of the ACM, 1977
- Lucid—A Formal System for Writing and Proving ProgramsSIAM Journal on Computing, 1976
- Abstract data types and the development of data structuresPublished by Association for Computing Machinery (ACM) ,1976
- An approach to compiler correctnessACM SIGPLAN Notices, 1975
- A data flow language for operating systems programmingACM SIGPLAN Notices, 1973
- Advice on structuring compilers and proving them correctPublished by Association for Computing Machinery (ACM) ,1973
- 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
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967