Data structures in SL5
- 31 December 1978
- journal article
- Published by Elsevier in Computer Languages
- Vol. 3 (3), 181-192
- https://doi.org/10.1016/0096-0551(78)90010-3
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstraction and verification in AlphardCommunications of the ACM, 1977
- Some ideas on data types in high-level languagesCommunications of the ACM, 1977
- An overview of SL5ACM SIGPLAN Notices, 1977
- Towards a programming apprenticeIEEE Transactions on Software Engineering, 1975
- The programming language pascalActa Informatica, 1971
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- A proposal for definitions in ALGOLCommunications of the ACM, 1967
- EULERCommunications of the ACM, 1966
- EULER: A generalization of ALGOL and its formal definition: Part 1Communications of the ACM, 1966