Data Abstraction and Hierarchy

ACM SIGPLAN Notices

Volumn 23, Issue 5, 1988, Pages 17-34

  Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976686428     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/62139.62141     Document Type: Article

References (19)

1. Bobrow, D., et al. “CommonLoops: Merging Lisp and Object-Oriented Programming ”. Proc. of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications, SIGPLAN Notices 21, 11 (November 1986).
2. Bruce, K., and Wegner, P. “An Algebraic Model of Subtypes in Object-Oriented Languages (Draft) ”. SIGPLAN Notices 21, 10 (October 1986).
3. Dahl, O.-J., and Hoare, C. A. R. Hierarchical Program Structures. In Structured Programming, Academic Press, 1972.
4. Goldberg, A., and Robson, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Ma., 1983.
5. Hoare, C. A. R. “Proof of correctness of data representations ”. Acta Informatica 4 (1972), 271 –281.
6. Leavens, G. Subtyping and Generic Invocation: Semantics and Language Design. Ph.D. Th., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, forthcoming.
7. Liskov, B. A Design Methodology for Reliable Software Systems. In Tutorial on Software Design Techniques, P. Freeman and A. Wasserman, Eds., IEEE, 1977. Also published in the Proc. of the Fall Joint Computer Conference, 1972.
8. Liskov, B., Snyder, A., Atkinson, R. R., and Schaffert, J. C. “Abstraction mechanisms in CLU ”. Comm. of the ACM 20, 8 (August 1977), 564 –576.
9. Liskov, B., et al., CLU Reference Manual. Springer-Verlag, 1984.
10. Liskov, B., et al. Argus Reference Manual. Technical Report MIT/LCS/TR-400, M.I.T. Laboratory for Computer Science, Cambridge, Ma., 1987.
11. Liskov, B., and Guttag, J., Abstraction and Specification in Program Development. MIT Press and McGraw Hill, 1986.
12. Liskov, B., and Zilles, S. “Programming with abstract data types ”. Proc. of ACM SIGPLAN Conference on Very High Level Languages, SIGPLAN Notices 9 (1974).
13. Moon, D. “Object-Oriented Programming with Flavors ”. Proc. of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
14. Morris, J. H. “Protection in Programming Languages ”. Comm. of the ACM 16, 1 (January 1973).
15. Parnas, D. Information Distribution Aspects of Design Methodology. In Proceedings of IFIP Congress, North Holland Publishing Co., 1971.
16. Parnas, D. “On the Criteria to be Used in Decomposing Systems into Modules ”. Comm. of the ACM 15, 12 (December 1972).
17. Schaffert, C., et al. “An Introduction to Trellis/Owl ”. Proc. of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
18. Snyder, A. “Encapsulation and Inheritance in Object-Oriented Programming Languages ”. Proc. of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
19. U. S. Department of Defense. Reference manual for the Ada programming language. 1983. ANSI standard Ada.