A Behavioral Notion of Subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 16, Issue 6, 1994, Pages 1811-1841

  Liskov, Barbara H ^a   Wing, Jeannette M ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

formal specifications; Larch; subtyping

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; DATA STRUCTURES; HIERARCHICAL SYSTEMS; PROGRAMMING THEORY; SOFTWARE ENGINEERING; SPECIFICATIONS;

FORMAL SPECIFICATIONS; LARCH; OBJECT ORIENTED DESIGN; SUBTYPING; SUPERTYPES;

OBJECT ORIENTED PROGRAMMING;

EID: 0028548263     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/197320.197383     Document Type: Article

References (37)

1. AMERICA, P. 1990. A parallel object-oriented language with inheritance and subtyping. SIGPLAN 25, 10 (Oct.), 161-168.
2. AMERICA, P. 1991. Designing an object-oriented programming language with behavioural subtyping. In J. W. DE BARKER, W. P. DE ROEVER, AND G. ROZENBERG (Eds.), Foundations of Ob?ect-Oriented Languages, REX School/Workshop, Noordwi?kerhout, The Netherlands, May/June 1990, Volume 489 of LNCS, pp. 60-90. NY: Springer-Verlag.
3. BLACK, A. P., HUTCHINSON, N., JUL, E., LEVY, H. M., AND CARTER, L. 1987. Distribution and abstract types in Emerald. IEEE TSE 13, 1 (Jan.), 65-76.
4. BRUCE, K. AND WEGNER, P. 1990. An algebraic model of subtype and inheritance. In F. BANCILHON AND P. BUNEMAN (Eds.), Advances in Database Programming Language, pp. 75-96. Addison-Wesley, Reading, MA.
5. CARDELLI, L. 1988. A semantics of multiple inheritance. Information and Computation 76, 138-164.
6. CARRINGTON, D., DUKE, D., DUKE, R., KING, P., ROSE, G., AND SMITH, P. 1989. Object-Z: An object oriented extension to Z. In FORTE89, International Conference on Formal Description Techniques.
7. CUSACK, E. 1991. Inheritance in object oriented Z. In Proceedings of ECOOP '91. Springer-Verlag.
8. CUSACK, E. AND LAI, M. 1991. Object-oriented specification in LOTOS and Z, or my cat really is object-oriented! In J. W. DE BARKER, W. P. DE ROEVER, AND G. ROZENBERG (Eds.), Foundations of Object Oriented Languages, pp. 179-202. Springer Verlag. LNCS 489.
9. DAHL, O.-J., MYRHAUG, B., AND NYGAARD, K. 1970. SIMULA common base language. Technical Report 22, Norwegian Computing Center, Oslo, Norway.
10. DHARA, K. K. 1992. Subtyping among mutable types in object-oriented programming languages, Iowa State University, Ames, Iowa. Master's Thesis.
11. DHARA, K. K. AND LEAVENS, G. T. 1992. Subtyping for mutable types in object-oriented programming languages. Technical Report 92-36 (Nov.), Department of Computer Science, Iowa State University, Ames, Iowa.
12. DUKE, D. AND DUKE, R. 1990. A history model for classes in object-Z. In Proceedings of VDM '90: VDM and Z. Springer-Verlag.
13. GARLAND, S. AND GUTTAG, J. 1989. An overview of LP, the Larch Prover. In Proceedings of the Third International Conference on Rewriting Techniques and Applications, Chapel Hill, NC, pp. 137-151. Lecture Notes in Computer Science 355.
14. GOGUEN, J. A. AND MESEGUER, J. 1987. Unifying functional, object-oriented and relational programming with logical semantics. In B. SHRIVER AND P. WEGNER (Eds.), Research Directions in Object Oriented Programming. MIT Press.
15. GUTTAG, J. V., HORNING, J J., AND WING, J. M. 1985. The Larch family of specification languages. IEEE Software 2, 5 (Sept), 21-36.
16. HALBERT, D. C. AND O'BRIEN, P. D. 1987. Using types and inheritance in object-oriented programming. IEEE Software 4. 5 (Sept.), 71-79.
17. HAMMER, M. AND MCLEOD, D 1981. A semantic database model. ACM Trans. Database Systems 6, 3, 351-386.
18. HOARE, C. 1972. Proof of correctness of data representations. Acta Informatica 1, 1, 271-281.
19. KAPUR, D. 1980. Towards a theory of abstract data types. Technical Report 237 (June), MIT LCS. Ph.D. Thesis.
20. LEAVENS, G. 1989. Verifying object-oriented prograsm that use subtypes. Technical Report 439 (Feb.), MIT Laboratory for Computer Science. Ph.D. thesis.
21. LEAVENS, G. T. 1991. Modular specification and verification of object-oriented programs. IEEE Software 8, 4 (July), 72-80.
22. LEAVENS, G. T. AND DHARA, K. K. 1992. A foundation for the model theory of abstract data types with mutation and aliasing (preliminary version). Technical Report 92-35 (Nov.), Department of Computer Science, Iowa State University, Ames, Iowa.
23. LEAVENS, G. T. AND WEIHL, W. E. 1990. Reasoning about object-oriented programs that use subtypes. In ECOOP/OOPSLA ‘90 Proceedings.
24. LIPECK, U. 1992. Semantics and usage of defaults in specifications. In Foundations of Information Systems Specification and Design. Dagstuhl Seminar 9212 Report 35.
25. LISKOV, B. 1992. Preliminary design of the Thor object-oriented database system. In Proc. of the Software Technology Conference. DARPA. Also Programming Methodology Group Memo 74, MIT Laboratory for Computer Science, Cambridge, MA, March 1992.
26. LISKOV, B., ATKINSON, R., BLOOM, T., MOSS, E., SCHAFFERT, J., SCHEIFLER, R., AND SNYDER, A. 1981. CLU Reference Manual. Springer-Verlag.
27. LISKOV, B. AND GUTTAG, J. 1985. Abstraction and Specification in Program Design. MIT Press.
28. LISKOV, B. AND WING, J. 1992. Family values: A semantic notion of subtyping. Technical Report 562, MIT Lab. for Computer Science. Also available as CMU-CS-92-220.
29. MAIER, D. AND STEIN, J. 1990. Development and implementation of an object-oriented DBMS. In S. ZDONIK AND D. MAIER (Eds.), Readings in Object-Oriented Database Systems, pp. 167-185. Morgan Kaufmann.
30. MEYER, B. 1988. Object-oriented Software Construction. Prentice Hall, New York.
31. MORGAN, C. 1990. Programming from Specifications. Prentice Hall.
32. NELSON, G. 1991. Systems Programming with Modula-3. Prentice Hall.
33. SCHAFFERT, C., COOPER, T., BULLIS, B., KILIAN, M., AND WILPOLT, C. 1986. An introduction to Trellis/Owl. In Proceedings of OOPSLA '86, pp. 9-16.
34. SCHEID. J. AND HOLTSBERG, S. 1992. Ina Jo specification language reference manual. Technical Report TM-6021/001/06 (June), Paramax Systems Corporation, A Unisys Company.
35. STROUSTRUP, B. 1986. The C++ Programming Language. Addison-Wesley.
36. UTTING, M. 1992. An object-oriented refinement calculus with modular reasoning. Ph. D. thesis, University of New South Wales, Australia.
37. WING, J. M. 1983. A two-tiered approach to specifying programs. Technical Report 299 (June), MIT Laboratory for Computer Science. Ph.D. thesis.