Respectful type converters

IEEE Transactions on Software Engineering

Volumn 26, Issue 7, 2000, Pages 579-593

  Wing, Jeannette M ^a,b   Ockerbloom, John ^a,b  

^a Carnegie Mellon University   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; INTEROPERABILITY; OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS;

ABSTRACTION FUNCTION; DISTRIBUTED OBJECT; TYPE CONVERTERS; TYPED OBJECT MODEL;

SOFTWARE ENGINEERING;

EID: 0034226302     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.859529     Document Type: Article

References (14)

1. F. Bamberger, P. Ford, and J.M. Wing, Interoperability, chapter C.8, pp. 67-71, Interuniversity Communications Council, Inc. (EDUCOM), 1994.
2. W. Brookes and J. Indulska, A Type Management System for Open Distributed Processing, Technical Report 285, University of Queensland, St. Lucia, Australia, 1994.
3. L. Cardelli, A Semantics of Multiple Inheritance, Information and Computation, vol. 76, pp. 138-164, 1988.
4. S. Clamen, Type Evolution and Instance Adaptation, Technical Report CMU-CS-92-133R, Computer Science Dept, Carnegie Mellon Univ., Pittsburgh, Pa., June 1992.
5. 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.
6. 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.
7. C.A.R. Hoare, Proof of Correctness of Data Representations, Ada Information, vol. 1, no. 1, pp. 271-281, 1972.
8. 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.
9. B. Liskov, Data Abstraction and Hierarchy, Proc. OOPSLA '87: Addendum to the Proc., 1987.
10. 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.
11. J. Ockerbloom, Mediating among Diverse Data Formats, Technical Report CMU-CS-98-102, Computer Science Dept., Carnegie Mellon Univ., Pittsburgh, Pa., Jan. 1998.
12. S. Putz, Design and Implementation of the System 33 Document Service, Technical Report P93-00112, Xerox PARC, Palo Alto, Calif., 1993.
13. 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.
14. A.M. Zaremski, Signature and Specification Matching, PhD thesis, Technical Report CS-CMU-96-103, Computer Science Dept., Carnegie Mellon Univ., Jan. 1996.