Programming with abstract data types

Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages

Volumn , Issue , 1974, Pages 50-59

  Liskov, Barbara ^a   Zilles, Stephen ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85032478913     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800233.807045     Document Type: Conference Paper

References (13)

1. Wirth, N. The programming language PASCAL. Acta Informatica, Vol. 1 (1971), pp 35-63.
2. Parnas, D. L. Information distribution aspects of design methodology, Proceedings of the IFIP Congress. August 1971.
3. Dijkstra, E. W. Notes on structured programming. Structured Programming. A.P.I.C. Studies in Data Processing, No. 8, Academic Press, New York, 1972, pp 1-81.
4. Schuman, S. A., P. Jorrand. Definition mechanisms in extensible programming languages. Proceedings o-f the AFIPS. Vol. 37, 1970, pp 9-19.
5. Mealy, G. Another look at data. Proceedings of the AFIPS. Vol. 31, 1967, pp 525-534.
6. Balzer, R. M. Dataless programming. Proceedings of the AFIPS. Vol. 31, 1967, pp 557-566.
7. Earley, J. Toward an understanding of data structures. Comm. of the ACM. Vol. 14, No-. 10 (October 1971), pp 617-627.
8. Dahl, 0.-J., B. Myhrhaug, K. Nygaard. The SIMULA 67 Common Base Language. Norwegian Computing Center, Oslo, Publication S-22, 1970.
9. Daley, R. C, P. G. Neumann. A general-purpose file system for secondary storage. Proceedings of the AFIPS. Vol. 27, 1965, pp 213-229.
10. Morris, J. H., Jr. Protection in programming languages. Comm. of the ACM. Vol. 16, No-. 1 (January 1973), pp 15-21.
11. Zilles, S. N. Procedural encapsulation: A linguistic protection technique. SIGPLAN Notices. Vol. 8, No. 9 (September 1973), pp 140-146.
12. Reynolds, J. Personal communication.
13. Liskov, B. H. A design methodology for reliable software systems. Proceedings of the AFIPS. Vol. 41, 1972, pp 191-199.