Notes on the design of Euclid
- 1 March 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (3) , 11-18
- https://doi.org/10.1145/390017.808307
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- Proof rules for the programming language EuclidActa Informatica, 1978
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- Some desirable properties of data abstraction facilitiesACM SIGPLAN Notices, 1976
- Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?Acta Informatica, 1976
- Exception handlingCommunications of the ACM, 1975
- Global variable considered harmfulACM SIGPLAN Notices, 1973
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Critical comments on the programming language PascalActa Informatica, 1973
- The programming language pascalActa Informatica, 1971