Inheritance of interface specifications (extended abstract)

Four alternatives for the semantics of inheritance of specifications are discussed. The information loss and frame axiom problems for inherited specifications are also considered.

[1]  Gary T. Leavens,et al.  A Quick Overview of Larch/C++ , 1994, J. Object Oriented Program..

[2]  Todd Leavens Gary.  Verifying object-oriented programs that use subtypes , 1989 .

[3]  Elspeth Cusack.  Object Oriented Modelling in Z for Open Distributed Systems , 1991, Open Distributed Processing.

[4]  Gary T. Leavens,et al.  Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs , 1994 .

[5]  J. Meseguer,et al.  Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems , 1993, Inf. Comput..

[6]  Pierre America,et al.  Designing an Object-Oriented Programming Language with Behavioural Subtyping , 1990, REX Workshop.

[7]  Alan Snyder.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPSLA 1986.

[8]  Leslie Lamport,et al.  Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .

[9]  Jeannette M. Wing,et al.  A New Definition of the Subtype Relation , 1993, ECOOP.

[10]  Gary T. Leavens.  Modular specification and verification of object-oriented programs , 1991, IEEE Software.

[11]  Pierre America,et al.  Inheritance and Subtyping in a Parallel Object-Oriented Language , 1987, ECOOP.

[12]  P. America,et al.  A behavioural approach to subtyping in object-oriented programming languages , 1991 .

[13]  Jeannette M. Wing.  Writing Larch interface language specifications , 1987, TOPL.

[14]  David A. Carrington,et al.  Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.

[15]  Gary T. Leavens,et al.  Modular Verification of Object-Oriented Programs with Subtypes , 1990 .

[16]  Gary T. Leavens,et al.  Preliminary Design of Larch/C++ , 1992, Larch.

[17]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPSLA 1986.

[18]  John Mylopoulos,et al.  '. . . and nothing else changes': the frame problem in procedure specifications , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[19]  David J. Duke,et al.  Towards a Semantics for Object-Z , 1990, VDM Europe.

[20]  Yoonsik Cheon,et al.  Larch/Smalltalk: A Specification Language for Smalltalk , 1991 .

[21]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[22]  Jeannette M. Wing,et al.  Specifications and their use in defining subtypes , 1993, OOPSLA '93.

[23]  Paul D. Carrington.  “Substance” and “Procedure” in the Rules Enabling Act , 1989 .

[24]  Gary T. Leavens,et al.  Typed Homomorphic Relations Extended with Sybtypes , 1991, MFPS.

[25]  Jeannette M. Wing.  A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS , 1983 .

[26]  Gary T. Leavens,et al.  Reasoning about object-oriented programs that use subtypes , 1990, OOPSLA/ECOOP '90.