Report on the programming language Euclid
- 1 February 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (2), 1-79
- https://doi.org/10.1145/954666.971189
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- LR ParsingACM Computing Surveys, 1974
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- Reflections on a language designed to write an operating systemACM SIGPLAN Notices, 1973
- Proof of correctness of data representationsActa Informatica, 1972