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

427 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
42 Contract Soundness for Object-Oriented Languages – Robert Bruce Findler, Matthias Felleisen - 2001
60 jContractor: A Reflective Java Library to Support Design By Contract – Murat Karaorman, Urs Hölzle, John Bruno - 1998
1437 Object-oriented Software Construction – Bertrand Meyer - 2004
752 Eiffel: The Language – Bertrand Meyer - 1992
37 Adding Contracts to Java with Handshake – Andrew Duncan , Urs Hölzle - 1998
140 Designing an object-oriented programming language with behavioural subtyping – Pierre America - 1991
141 A practical approach to programming with assertions – David S. Rosenblum - 1995
123 A runtime assertion checker for the Java Modeling Language (JML) – Yoonsik Cheon, Gary T. Leavens - 2002
444 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
638 Systematic Software Development Using VDM – Cli B Jones - 1990
518 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
100 Inheritance and subtyping in a parallel object-oriented language – P America - 1987
117 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
554 Applying design by contract – Bertrand Meyer - 1992
115 Contracts for Higher-Order Functions – Robert Bruce Findler, Matthias Felleisen - 2002
85 Jass -- Java with Assertions – Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim - 2001
109 iContract - the Java design by contract tool – R Kramer - 1998