Data abstraction and hierarchy

Addendum to the Proceedings on Object-Oriented Programming Systems, Languages and Applications (Addendum), OOPSLA 1987

Volumn 1987-January, Issue , 1987, Pages 17-34

  Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SYSTEMS PROGRAMMING;

DATA ABSTRACTION; PROGRAM DEVELOPMENT;

OBJECT ORIENTED PROGRAMMING;

EID: 85030467570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Bobrow, D., et al. “CommonLoops: Merging Lisp and Object-Oriented Programming@. Rot. of the ACM Conference on Object-Oriented Frogramming Systems, Languages and Applicatione, SIGF” Notice8 21, 11 (November 1986).
2. Bruce, K., and Wegner, P. “An Algebraic Model of Subtypes in Object-Oriented Languages (Draft)“. SIGPLAN Notice8 21, 10 (October 1986).
3. Dahl, O.-J., and Hoare, C. A. R. Hierarchical Program Structures. In Structured fiogramming, 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 In jotmaticn 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 Rejerence Manual. Springer-Verlag, 1984.
10. Liskov, B., et al. Argus Rejerence 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 Rogram Development. MIT Press and McGraw Hill, 1986.
12. Liskov, B., and Zilles, S. ‘Programming with abstract data types”. fioc. oj ACM SIGPLAN Conference on Very High Level Languages, SIGPLAN Notices 9 (1974).
13. Moon, D. “Object-Oriented Programming with Flavors”. Rot. of the ACM Con jerance on Object-Oriented Rogramming Systems, Languages, and Applicatione, SIGPLAIV 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 Fkoceedinge oj IFIP Congress, North Holland Publishing Co., 1971.
16. Parnas, D. “On the Criteria to be Used in Decomposing'Systems into Modules”. C&mm. oj the ACM 15, 12 (December 1972).
17. Schaffert, C., et al. *An Introduction to Trellis/Owl”. Rot. oj the ACM Con jerence on Object-Oriented fiogramming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
18. Snyder, A. “Encapsulation and Inheritance in ObjectcOriented Programming Languages”. Rot. oj the ACM Conference on Object-Oriented Bogramming Systems, Languages, and Applications, SIGPLAN Notices 21, 11 (November 1986).
19. U. S. Department of Defense. Reference manual for the Ada programming language. standard Ada. 1983. ANSI