Normal form approach to compiler design
- 1 August 1993
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 30 (8), 701-739
- https://doi.org/10.1007/bf01191809
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Introducing OBJPublished by Springer Nature ,2000
- Reasoning algebraically about recursionScience of Computer Programming, 1992
- Refinement calculus, part I: Sequential nondeterministic programsLecture Notes in Computer Science, 1990
- Refinement calculus, part II: Parallel and reactive programsLecture Notes in Computer Science, 1990
- Laws of programmingCommunications of the ACM, 1987
- Prespecification in data refinementInformation Processing Letters, 1987
- The weakest prespecificationInformation Processing Letters, 1987
- The Science of ProgrammingPublished by Springer Nature ,1981
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969