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:25 - 1 self

Active Bibliography

Refining Concurrent Objects – Martin Büchi, Emil Sekerinski, Turku Centre, Computer Science - 1999
Life-Cycle Inheritance in Concurrent Object-Oriented Systems – Stephan Philippi
A Relational Model for Specification of . . . – He Jifeng, Liu Zhiming, Li Xiaoshan
2 Type Management: A Key to Software Reuse in Open Distributed Systems – B. Christiansen, M. Münke, K. Müller-Jones, W. Lamersdorf - 1997
2 Component-Based Software Architectures: A Framework Based on Inheritance of Behavior – W.M.P. van der Aalst K.M. van Hee, R. A. Van Der Toorn - 2000
2 Formal Semantics of Inheritance and Object Substitutability – Ralph Back, Leonid Mikhajlov, Joakim Von Wright - 2000
3 Class re nement and interface re nement in object-oriented programs – Anna Mikhajlova, Emil Sekerinski - 1997
2 Types and their management in open distributed systems – Wayne Brookes, Stephen Crawley, Jadwiga Indulska, Douglas Kosovic, Andreas Vogel - 1997
4 Trading for COTS Components in Open Environments – Luis Iribarne, José M. Troya, Antonio Vallecillo - 2001
6 An Architecture-Based Approach to Software Evolution – Nenad Medvidovic, Richard N. Taylor, David S. Rosenblum - 1998
1 Searching and Matching Software Components with Multiple Interfaces – Luis Iribarne, Antonio Vallecillo - 2000
6 Formalizing and Automating Component Reuse – Yonghao Chen, Betty H. C. Cheng - 1997
5 Introducing KINDs to C++ – Scheyen Yu Zhang, S. Yu, M. Zhang, Q. Zhuang
2 Algorithmic Abstraction in Object-Oriented Languages – S. Yu, Q. Zhuang - 1994
2 Formal Definitions of Behavioural Compatibility for Active and Passive Objects – Graeme Smith - 1994
3 On Binary Methods – Gary T. Leavens, Benjamin Pierce, Giuseppe Castagna, The Hopkins Objects Group, Kim Bruce, Kim Bruce, Luca Cardelli, Luca Cardelli - 1995
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
1 A design discipline and language features for formal modular reasoning in aspect-oriented programs – Curtis Clifton, Gary T. Leavens, Copyright C, Curtis Clifton, Gary T. Leavens, All Rights Reserved, Curtis Clifton, Gary T. Leavens - 2005
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs – Gary T. Leavens, William E. Weihl - 1994
Inheritance From The Standpoint Of Specification And Modeling – Peeter Pruuden - 1997