Respectful Type Converters
暂无分享,去创建一个
[1] John Mark Ockerbloom,et al. Mediating Among Diverse Data Formats. , 1998 .
[2] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.
[3] Jeannette M. Wing,et al. Signature and specification matching , 1996 .
[4] Daniel C. Halbert,et al. Using Types and Inheritance in Object-Oriented Programming , 1987, IEEE Software.
[5] Stewart M. Clamen,et al. Type Evolution and Instance Adaptation , 1992 .
[6] Barbara Liskov,et al. Data Abstraction and Hierarchy , 1987 .
[7] Jeannette M. Wing,et al. Respectful type converters for mutable types , 2000 .
[8] C. A. R. Hoare,et al. Proof of Correctness of Data Representations (Reprint) , 2002, Software Pioneers.
[9] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[10] Stephen J. Garland,et al. An Overview of LP, The Larch Power , 1989, RTA.
[11] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Information and Computation.