Subtyping for Distributed Object Stores (Extended Abstract)
暂无分享,去创建一个
[1] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.
[2] Gary T. Leavens,et al. Subtyping for Mutable Types in Object-Oriented Programming Languages , 1992 .
[3] Pierre America,et al. A parallel object-oriented language with inheritance and subtyping , 1990, OOPSLA/ECOOP '90.
[4] Elspeth Cusack,et al. Inheritance in Object-Oriented Z , 1991, ECOOP.
[5] John Mark Ockerbloom. Exploiting Structured Data in Wide-Area Information Systems, , 1995 .
[6] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Inf. Comput..
[7] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[8] Stephen J. Garland,et al. An Overview of LP, The Larch Power , 1989, RTA.
[9] Gary T. Leavens,et al. A foundation for the model theory of abstract data types with mutation and aliasing (preliminary ver , 1992 .