Data structures in SL5

Galler, 1967, A proposal for definitions in ALGOL, Comm. ACM, 10, 204, 10.1145/363242.363252 Hoare, 1968, Record handling, 291 Hoare, 1972, Notes on data structuring, 83 Wirth, 1966, EULER—a generalization of ALGOL and its formal definition, Comm. ACM, 9, 13, 10.1145/365153.365162 Wirth, 1966, EULER—a generalization of ALGOL and its formal definition, Comm. ACM, 9, 89, 10.1145/365170.365202 Wirth, 1971, The programming language Pascal, Acta Informatica, 1, 35, 10.1007/BF00264291 Birtwistle, 1973, SIMULA Begin Griswold, 1971 Liskov, 1977, Abstraction mechanisms in CLU, Comm. ACM, 20, 564, 10.1145/359763.359789 Shaw, 1977, Abstraction and verification in Alphard: Defining and specifying iteration and generators, Comm. ACM, 20, 553, 10.1145/359763.359782 J. G. Mitchell and B. Wegbreit, Schemes: a high level data structuring concept, in Current Trends in Programming Methodology (edited by R. T. Yeh). Prentice-Hall, Englewood Cliffs, N.J. (to appear). Gries, 1977, Some ideas on data types in high level languages, Comm. ACM, 20, 414, 10.1145/359605.359624 Reynolds, 1970, Gendanken—a simple typeless language based of the principle of completeness and the reference concept, Comm. ACM, 13, 308, 10.1145/362349.362364 Hewitt, 1975, Toward a programming apprentice, IEEE Trans. Software Engng, 1, 26, 10.1109/TSE.1975.6312818 Burge, 1975 Griswold, 1977, An overview of SL5, SIGPLAN Notices, 12, 40, 10.1145/954654.954658 Hanson, 1978, The SL5 procedure mechanism, Comm. ACM, 21, 392, 10.1145/359488.359502 Hanson, 1976, Procedure-based linguistic mechanisms in programming languages Griswold, 1976, String analysis and synthesis in SL5, 410 VanLehn, 1973, SAIL User Manual Griswold, 1975, Extensible pattern matching in SNOBOL4, 248