Specifications and their use in defining subtypes

ACM SIGPLAN Notices

Volumn 28, Issue 10, 1993, Pages 16-28

  Liskov, Barbara ^a   Wing, Jeannette M ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976830287     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/167962.165863     Document Type: Article

References (29)

1. America, P. LNCS. Volume 489: Designing an Object-Oriented Programming Language with Behavioural Subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, J. W. de Bakker and W. P. de Roever and G. Rozenberg, Ed., Springer-Verlag, NY, 1991, pp. 60-90.
2. Black, A. P., Hutchinson, N., Jul, E., Levy, H. M., and Carter, L. “Distribution and Abstract Types in Emerald”. IEEE TSE SE-13 (Jan. 1987), 65-76.
3. Bruce, K. B., and Wegner, P. An Algebraic Model of Subtypes in Object-Oriented Languages (Draft). ACM SIGPLAN Notices, Oct., 1986. Object-Oriented Programming Workshop.
4. Cardelli, L. “A semantics of multiple inheritance”. Information and Computation 76 (1988), 138-164.
5. Carrington, D., Duke, D., Duke, R., King, P., Rose, G., and Smith, P. Object-Z: An Object Oriented Extension to Z. FORTE89, International Conference on Formal Description Techniques, Dec., 1989.
6. Cusack, E. Inheritance in object oriented Z. Proceedings of ECOOP ‘91, 1991.
7. Cusack, E., and Lai, M. Object-Oriented Specification in LOTOS and Z, or My Cat Really is Object-Oriented! Foundations of Object Oriented Languages, June, 1991, pp. 179-202. LNCS 489.
8. Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master Th., Iowa State University, Ames, Iowa, 1992.
9. Krishna Kishore Dhara and Leavens, G. T. Subtyping for mutable types in object-oriented programming languages. Tech. Rept. TR #92-36, Department of Computer Science, Iowa State University, Ames, Iowa, Nov., 1992.
10. Duke, D., and Duke, R. A History Model for Classes in Object-Z. Proceedings of VDM ‘90: VDM and Z, 1990.
11. Ehrig, H., and Mahr, B., Fundamentals of Algebraic Specification 1. Springer-Verlag, 1985.
12. Goguen, J. A., Kirchner, C., Kirchner, H., Megrelis, A., Meseguer, J., and Winkler, T. An Introduction to OBJ3. Proceedings, Conference on Conditional
13. Term Rewriting, 1988, pp. 258-263. LNCS 308.
14. Goguen, J. A., and Meseguer, J. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object Oriented Programming, 1987.
15. Guttag, J. V., Homing, J. J., and Wing, J. M. “The Larch Family of Specification Languages”. IEEE Software 2, 5 (sept 1985), 24-36.
16. Leavens, G. Verifying Object-Oriented Programs That Use Subtypes. Tech. Rept. 439, MIT Lab. for Computer Science, Feb., 1989. Ph.D. thesis.
17. Leavens, G. T. “Modular specification and verification of object-oriented programs”. IEEE Software 8, 4 (July 1991), 72-80.
18. Leavens, G. T., and Krishna Kishore Dhara. A Foundation for the Model Theory of Abstract Data Types with Mutation and Aliasing (preliminary version). Tech. Rept. TR #92-35, Department of Computer Science, Iowa State University, Ames, Iowa, Nov., 1992.
19. Leavens, G. T., and Weihl, W. E. Reasoning about Object-Oriented Programs that use Subtypes. ECOOP/OOPSLA ‘90 Proceedings, 1990.
20. Liskov, B. et al. CLU Reference Manual. Springer-Verlag, 1981.
21. Liskov, B., and Guttag, J., Abstraction and Specification in Program Design. MIT Press, 1985.
22. Liskov, B. Preliminary Design of the Thor Object-Oriented Database System. Proc. of the Software Technology Conference, April, 1992. Also Programming Methodology Group Memo 74, MIT Laboratory for Computer Science, Cambridge, MA, March 1992.
23. Liskov, B., and Wing, J. M. A New Definition of the Subtype Relation. Proceedings of ECOOP ‘93, Kaiserslautern, Germany, 1993. to appear.
24. Maier, D., and Stein, J. Development and Implementation of an Object-Oriented DBMS. Readings in Object-Oriented Database Systems, 1990, pp. 167-185.
25. Schaffert, C., Cooper, T., and Wilpolt, C. Trellis: Object-Based Environment Language Reference Manual. Tech. Rept. 372, Digital Equipment Corp./Easter Research Lab., 1985.
26. Scheid, J., and Holtsberg, S. Ina Jo Specification Language Reference Manual. Tech. Rept.
27. TM-6021/001/06, Paramax Systems Corporation, A Unisys Company, June, 1992.
28. Spivey, J. M., The Z Notation: A Reference Manual. Prentice-Hall, 1989.
29. Utting, M. An Object-Oriented Refinement Calculus with Modular Reasoning. Ph.D. Th., University of New South Wales, Australia, 1992.