Inheritance of Interface Specifications

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[15]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPLSA '86.

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

[17]  ProgramsGary T. Leavens,et al.  Subtyping, Modular Speciication, and Modular Veriication for Applicative Object-oriented Programs Subtyping, Modular Speciication, and Modular Veriication for Applicative Object-oriented Programs , 1994 .

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

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

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