Behavioral Contracts and Behavioral Subtyping (2001)

by Robert Bruce Findler , Mario Latendresse , Matthias Felleisen
Venue:In Proceedings of ACM Conference Foundations of Software Engineering
Citations:29 - 2 self

Documents Related by Co-Citation

1441 Object-oriented Software Construction – Bertrand Meyer - 2004
42 Contract Soundness for Object-Oriented Languages – Robert Bruce Findler, Matthias Felleisen - 2001
428 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
140 Designing an object-oriented programming language with behavioural subtyping. in: J.W. de – P America - 1991
140 A practical approach to programming with assertions – David S. Rosenblum - 1995
755 Eiffel: the language – B Meyer - 1992
109 iContract - the Java design by contract tool – R Kramer - 1998
638 Systematic Software Development using VDM – C B Jones - 1986
520 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
37 Adding Contracts to Java with Handshake – Andrew Duncan , Urs Hölzle - 1998
60 jContractor: A Reflective Java Library to Support Design By Contract – Murat Karaorman, Urs Hölzle, John Bruno - 1998
100 Inheritance and subtyping in a parallel object-oriented language – P America - 1987
116 Forcing behavioral subtyping through specification inheritance – Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens - 1996
162 Making components contract aware – A Beugnard, J-M Jézéquel, N Plouzeau, D Watkins - 1999
129 Data Abstraction and Hierarchy – Barbara Liskov
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
123 A runtime assertion checker for the Java Modeling Language (JML) – Yoonsik Cheon, Gary T. Leavens - 2002
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
9 A Quick Overview of Larch/C++ – Yoonsik Cheon, Gary T. Leavens - 1994