Semantics and proof theory of pascal procedures
- 1 January 1977
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Least fixed points revisitedTheoretical Computer Science, 1976
- Exercises in denotational semanticsPublished by Springer Nature ,1976
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969