Technical correspondence
- 1 May 1985
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 28 (5), 534-538
- https://doi.org/10.1145/3532.315103
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Predicative programming Part ICommunications of the ACM, 1984
- A generalized control structure and its formal definitionCommunications of the ACM, 1983
- Axiomatic Definitions of Programming LanguagesJournal of the ACM, 1982
- The new math of computer programmingCommunications of the ACM, 1975