论文信息 - Inheritance of interface specifications (extended abstract)

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.

Gary T. Leavens | G. Leavens

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

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

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

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

[5] Alan Snyder,et al. Encapsulation and inheritance in object-oriented programming languages , 1986, OOPLSA '86.