Reasoning about Object-Oriented Programs that use Subtypes

ACM SIGPLAN Notices

Volumn 25, Issue 10, 1990, Pages 212-223

  Leavens, Gary T ^a   Weihl, William E ^b  

^a IOWA STATE UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976772857     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/97946.97970     Document Type: Article

References (26)

1. Pierre America. A behavioural approach to subtyping in object-oriented programming languages. Technical Report 443, Philips Research Laboratories, Nederlandse Philips Bedrijven B. V., January 1989.
2. Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. The MIT Press, Cambridge, Mass., 1985.
3. Graham M. Birtwistle, Ole-Johan Dahl, Bjorn Myhrhaug, and Kristen Nygaard. SIMULA Begin. Auerbach Publishers, Philadelphia, Penn., 1973.
4. Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. Object structure in the Emerald system. ACM SIGPLAN Notices, 21(11):78-86, November 1986. OOPSLA '86 Conference Proceedings, Norman Meyrowitz (editor), September 1986, Portland, Oregon.
5. Dines Bjorner and Cliff B. Jones. Formal Specification and Software Development. Prentice-Hall International, London, 1982.
6. Kim B. Bruce and Peter Wegner. An algebraic model of subtype and inheritance. To appear in Database Programming Languages, Francois Bancilhon and Peter Buneman (editors), Addison-Wesley, Reading, Mass., August 1987.
7. Luca Cardelli. A semantics of multiple inheritance. In D. B. MacQueen G. Kahn and G. Plotkin, editors, Semantics of Data Types: International Symposium, Sophia-Antipolis, France, volume 173 of Lecture Notes in Computer Science, pages 51-66. Springer-Verlag, New York, N.Y., June 1984. A revised version of this paper appears in Information and Computation, volume 76, numbers 2/3, pages 138-164, February/March 1988.
8. Luca Cardelli and Peter Wegner. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 17(4):471-522, December 1985.
9. J. V. Guttag and J. J. Horning. A Larch shared language handbook. Science of Computer Programming, 6:135-157, 1986.
10. J. V. Guttag and J. J. Horning. Report on the Larch shared language. Science of Computer Programming, 6:103-134, 1986.
11. Joseph A. Goguen and Jose Meseguer. Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. Technical Report CSLI-87-92, Center for the Study of Language and Information, March 1987.
12. Joseph A. Goguen. Parameterized programming. IEEE Transactions on Software Engineering, SE-10(5):528-543, September 1984.
13. Adele Goldberg and David Robson. Smalltalk-80, The Language and its Implementation. Addison-Wesley Publishing Co., Reading, Mass., 1983.
14. John Guttag. Notes on type abstractions (version 2). IEEE Transactions on Software Engineering, SE-6(1):13-23, January 1980. Version 1 in Proceedings Specifications of Reliable Software, Cambridge, Mass., IEEE, April, 1979.
15. Sonya E. Keene. Object-Oriented Programming in Common Lisp. Addison Wesley, Reading, Mass., 1989.
16. Gary Todd Leavens. Verifying objectoriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis.
17. Gary T. Leavens. Modular verification of object-oriented programs with subtypes. Technical Report 90-09, Department of Computer Science, Iowa State University, July 1990.
18. Bertrand Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., 1988.
19. John C. Mitchell. Representation independence and data abstraction (preliminary version). In Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pages 263-276. ACM, January 1986.
20. John C. Reynolds. Using category theory to design implicit conversions and generic operators. In Neil D. Jones, editor, Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, volume 94 of Lecture Notes in Computer Science, pages 211-258. Springer-Verlag, January 1980.
21. John C. Reynolds. Three approaches to type structure. In Hartmut Ehrig, Christiane Floyd, Maurice Nivat, and James Thatcher, editors, Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '85), volume 185 of Lecture Notes in Computer Science, pages 97-138. Springer-Verlag, New York, N.Y., March 1985.
22. Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. ACM SIGPLAN Notices, 21(11):38-45, November 1986. OOPSLA '86 Conference Proceedings, Norman Meyrowitz (editor), September 1986, Portland, Oregon.
23. R. Statman. Logical relations and the typed?-calculus. Information and Control, 65(2/3):85-97, May/June 1985.
24. Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 60-76. ACM, January 1989.
25. Jeannette Marie Wing. A two-tiered approach to specifying programs. Technical Report TR-299, Massachusetts Institute of Technology, Laboratory for Computer Science, 1983.
26. Jeannette M. Wing. Writing Larch interface language specifications. ACM Transactions on Programming Languages and Systems, 9(1):1-24, January 1987.