Specifications and their use in defining subtypes
暂无分享,去创建一个
[1] Gary T. Leavens,et al. Subtyping for Mutable Types in Object-Oriented Programming Languages , 1992 .
[2] Elspeth Cusack,et al. Inheritance in Object-Oriented Z , 1991, ECOOP.
[3] Pierre America,et al. Designing an Object-Oriented Programming Language with Behavioural Subtyping , 1990, REX Workshop.
[4] José Meseguer,et al. An Introduction to OBJ 3 , 1988, CTRS.
[5] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[6] Elspeth Cusack,et al. Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! , 1990, REX Workshop.
[7] Craig Schaffert,et al. An introduction to Trellis/Owl , 1986, OOPSLA 1986.
[8] James J. Horning,et al. The Larch Family of Specification Languages , 1985, IEEE Software.
[9] David Maier,et al. Development and Implementation of an Object-Oriented DBMS , 1987, Research Directions in Object-Oriented Programming.
[10] Craig Schaffert,et al. CLU Reference Manual , 1984, Lecture Notes in Computer Science.
[11] Larry Carter,et al. Distrbution and Abstract Types in Emerald , 1987, IEEE Transactions on Software Engineering.
[12] Gary T. Leavens,et al. A foundation for the model theory of abstract data types with mutation and aliasing (preliminary ver , 1992 .
[13] Kim B. Bruce,et al. An algebraic model of sybtypes in object-oriented languages (draft) , 1986, OOPWORK '86.
[14] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Information and Computation.
[15] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .
[16] Todd Leavens Gary. Verifying object-oriented programs that use subtypes , 1989 .
[17] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .
[18] Gary T. Leavens. Modular specification and verification of object-oriented programs , 1991, IEEE Software.
[19] Jeannette M. Wing,et al. A New Definition of the Subtype Relation , 1993, ECOOP.
[20] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[21] José Meseguer,et al. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.
[22] Kim B. Bruce,et al. An Algebraic Model of Subtype and Inheritance , 1990, DBPL.
[23] David A. Carrington,et al. Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.
[24] Kim B. Bruce,et al. An algebraic model of sybtypes in object-oriented languages (draft) , 1986, OOPWORK '86.
[25] Gary T. Leavens,et al. Reasoning about object-oriented programs that use subtypes , 1990, OOPSLA/ECOOP '90.
[26] Barry Mark Utting. An object-oriented refinement calculus with modular reasoning , 1992 .