Modular Reasoning in the Presence of Subclassing

ACM SIGPLAN Notices

Volumn 30, Issue 10, 1995, Pages 200-214

  Stata, Raymie ^a   Guttag, John V ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976688392     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/217839.217861     Document Type: Article

References (4)

1. America P., Designing an object-oriented programming language with behavioural subtyping, Foundations of Obj.-Orien. Lang. (Noordwijkerhout, The Netherlands, May/June 1990). Published as LNCS 489, pages, Springer-Verlag, 60-90, 1991.
2. [Atkinson92] B. Atkinson. Panel: reuse—truth or fiction. OOPSLA 792 Conf. Proceedings (Vancouver, Oct. 1992). Published as SIG-PLAN Notices, 27(10):41-2. ACM, Oct. 1992.
3. K. B. Bruce. Safe type-checking in a statically-typed, object-oriented programming language. Proc. 20th Annual Symp. on Princ. of Frog. Lang. (Charleston, SC, Jan. 1993), pages 285–98. ACM, Jan. 1993. SIGPLAN Notices, 28(10):16-28. ACM, Oct. 1993.
4. [Liskov94] B. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Trans. on Prog. Lang. and Sys., 16(6):1811-41. ACM, Nov. 1994.