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
638 Systematic Software Development using VDM – C B Jones - 1986
37 Adding Contracts to Java with Handshake – Andrew Duncan , Urs Hölzle - 1998
140 Designing an object-oriented programming language with behavioural subtyping. in: J.W. de – P America - 1991
123 A runtime assertion checker for the Java Modeling Language (JML) – Yoonsik Cheon, Gary T. Leavens - 2002
520 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
116 Forcing behavioral subtyping through specification inheritance – Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens - 1996
140 A practical approach to programming with assertions – David S. Rosenblum - 1995
755 Eiffel: the language – B Meyer - 1992
60 jContractor: A Reflective Java Library to Support Design By Contract – Murat Karaorman, Urs Hölzle, John Bruno - 1998
448 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
418 Proof of correctness of data representations – C A R Hoare - 1972
162 Making components contract aware – A Beugnard, J-M Jézéquel, N Plouzeau, D Watkins - 1999
23 Experience report: Using RESOLVE/C++ for commercial software – Joseph E. Hollingsworth - 2000
62 Copying and Swapping: Influences on the Design of Reusable Software Components – D E Harms, B W Weide - 1991
23 A Framework for Detecting Interface Violations in Component Based Software – S H Edwards, G Shakir, M Sitaraman, B W Weide, J Hollingsworth - 1998