-
1
-
-
33749909725
-
-
8, pp. 67-71, Interuniversity Communications Council, Inc. (EDUCOM), 1994.
-
F. Bamberger, P. Ford, and J.M. Wing, Interoperability, chapter C.8, pp. 67-71, Interuniversity Communications Council, Inc. (EDUCOM), 1994.
-
Interoperability, Chapter C.
-
-
Bamberger, F.1
Ford, P.2
Wing, J.M.3
-
2
-
-
33749881834
-
-
285, University of Queensland, St. Lucia, Australia, 1994.
-
W. Brookes and J. Indulska, A Type Management System for Open Distributed Processing, Technical Report 285, University of Queensland, St. Lucia, Australia, 1994.
-
A Type Management System for Open Distributed Processing, Technical Report
-
-
Brookes, W.1
Indulska, J.2
-
4
-
-
0003654706
-
-
92-133R, Computer Science Dept, Carnegie Mellon Univ., Pittsburgh, Pa., June 1992.
-
S. Clamen, Type Evolution and Instance Adaptation, Technical Report CMU-CS-92-133R, Computer Science Dept, Carnegie Mellon Univ., Pittsburgh, Pa., June 1992.
-
Type Evolution and Instance Adaptation, Technical Report CMU-CS
-
-
Clamen, S.1
-
5
-
-
84976861590
-
-
137-151, Apr. 1989.
-
S.J. Garland and J.V. Guttag, An Overview of LP, the Larch Prover, Proc. Third Int'l Conf. Rewriting Techniques and Applications, pp. 137-151, Apr. 1989.
-
An Overview of LP, the Larch Prover, Proc. Third Int'l Conf. Rewriting Techniques and Applications, Pp.
-
-
Garland, S.J.1
Guttag, J.V.2
-
6
-
-
0001806092
-
-
vol. 4, no. 5, pp. 71-79, Sept. 1987.
-
D.C. Halbert and P.D. O'Brien, Using Types and Inheritance in Object-Oriented Programming, IEEE Software, vol. 4, no. 5, pp. 71-79, Sept. 1987.
-
Using Types and Inheritance in Object-Oriented Programming, IEEE Software
-
-
Halbert, D.C.1
O'Brien, P.D.2
-
7
-
-
0015482118
-
-
vol. 1, no. 1, pp. 271-281, 1972.
-
C.A.R. Hoare, Proof of Correctness of Data Representations, Ada Information, vol. 1, no. 1, pp. 271-281, 1972.
-
Proof of Correctness of Data Representations, Ada Information
-
-
Hoare, C.A.R.1
-
8
-
-
33749936130
-
-
New York: Springer-Verlag, 1993.
-
J.J. Horning, J.V. Garland Guttag, S.J. Garland Guttag, K.D. Jones, A. Model, and J.M. Wing, Larch: Languages and Tools for Formal Specification. New York: Springer-Verlag, 1993.
-
Larch: Languages and Tools for Formal Specification.
-
-
Horning, J.J.1
Garland Guttag, J.V.2
Garland Guttag, S.J.3
Jones, K.D.4
Model, A.5
Wing, J.M.6
-
10
-
-
0028548263
-
-
vol. 16, no. 6, pp. 1,811-1,841, Nov. 1994.
-
B. Liskov and J.M. Wing, A Behavioral Notion of Subtyping, ACM Trans. Programming Languages and Systems, vol. 16, no. 6, pp. 1,811-1,841, Nov. 1994.
-
A Behavioral Notion of Subtyping, ACM Trans. Programming Languages and Systems
-
-
Liskov, B.1
Wing, J.M.2
-
11
-
-
33749970459
-
-
98-102, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, Pa., Jan. 1998.
-
J. Ockerbloom, Mediating among Diverse Data Formats, Technical Report CMU-CS-98-102, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, Pa., Jan. 1998.
-
Mediating among Diverse Data Formats, Technical Report CMU-CS
-
-
Ockerbloom, J.1
-
12
-
-
33749913288
-
-
33 Document Service, Technical Report P93-00112, Xerox PARC, Palo Alto, Calif., 1993.
-
S. Putz, Design and Implementation of the System 33 Document Service, Technical Report P93-00112, Xerox PARC, Palo Alto, Calif., 1993.
-
Design and Implementation of the System
-
-
Putz, S.1
-
13
-
-
33749915195
-
-
J.M. Wing and J. Ockerbloom, Respectful Type Converters for Mutable Types, Foundations of Component Based Systems, G. Leavens and M. Sitaraman, eds., Cambridge Univ. Press, 1999.
-
Respectful Type Converters for Mutable Types, Foundations of Component Based Systems, G. Leavens and M. Sitaraman, Eds., Cambridge Univ. Press, 1999.
-
-
Wing, J.M.1
Ockerbloom, J.2
-
14
-
-
33749979690
-
-
96-103, Computer Science Dept., Carnegie Mellon Univ., Jan. 1996.
-
A.M. Zaremski, Signature and Specification Matching, PhD thesis, Technical Report CS-CMU-96-103, Computer Science Dept., Carnegie Mellon Univ., Jan. 1996.
-
Signature and Specification Matching, PhD Thesis, Technical Report CS-CMU
-
-
Zaremski, A.M.1
|