Toward relaxing assumptions in languages and their implementations
- 1 March 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 15 (3), 45-61
- https://doi.org/10.1145/947626.947629
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- The SL5 procedure mechanismCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstraction and verification in AlphardCommunications of the ACM, 1977
- GypsyACM SIGPLAN Notices, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- On the problem of uniform references to data structuresIEEE Transactions on Software Engineering, 1975
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- Proceedings of the international symposium on Extensible languages -Published by Association for Computing Machinery (ACM) ,1971