Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
- 1 October 1981
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 3 (4) , 484-507
- https://doi.org/10.1145/357146.357151
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Some Properties of Predicate TransformersJournal of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Consistent and complementary formal theories of the semantics of programming languagesActa Informatica, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967