References

AC96

Martín Abadi and Luca Cardelli.
A Theory of Objects.
Monographs in Computer Science. Springer-Verlag, New York, 1996.

ACC97

Joshua Auerbach and Mark C. Chu-Carroll.
The mockingbird system: A compiler-based approach to maximally interoperable distributed programming.
Research Report RC 20718, IBM T. J. Watson Research Center, February 1997.

App94

Apple Computer, Inc.
OpenDoc for Macintosh: An overview for developers.
White paper, Apple Computer, 1994.

AR94

Joshua S. Auerbach and James R. Russell.
The Concert signature representation: IDL as intermediate language.
ACM SigPLAN Notices, 29(8):1-12, August 1994.
From the Proceedings of the ACM Workshop on Interface Definition Languages, 1994. Originally IBM Research Report RC19229.

Bar97

Daniel J. Barrett.
Polylingual Systems: An Approach to Seamless Interoperability.
PhD thesis, University of Massachusetts, Amherst, MA, September 1997.

BDE⁺95

BNR Europe Limited, Digital Equipment Corporation, Expersoft Corporation, Hewlett Packard Corporation, IBM Corporation, ICL, plc, IONA Technologies, and SunSoft, Inc.
CORBA 2.0/Interoperability.
OMG TC Document 95.3.xx, Object Management Group, March 1995.
Revision 1.8.

BKW96

Daniel J. Barrett, Alan Kaplan, and Jack C. Wileden.
Automated support for seamless interoperability in polylingual software systems.
In David Garlan, editor, SIGSOFT '96: Proceedings of the Fourth ACM Conference on the Foundations of Software Engineering, pages 147-155, San Francisco, October 1996.
Published as SIGSOFT Notes 21(6), November 1996.

Bro94

Kraig Brockschmidt.
Ole integration technologies technical overview.
World Wide Web URL http://www.microsoft.com/TechNet/technol/ole/ddjole.htm, October 1994.
Adapted from an article appearing in Dr. Dobbs Journal, December 1994.

BRW97

Daniel J. Barrett, John V.E. Ridgway, and Jack C. Wileden.
Assuring type safety in polylingual software systems.
(submitted).

BS92

B. W. Boehm and W. L. Scherlis.
Megaprogramming.
In Proceedings of the DARPA Software Technology Conference, pages 63-82, Los Angeles, CA, April 1992.

CP89

Douglas E. Comer and Larry L. Peterson.
Understanding naming in distributed systems.
Distributed Computing, 3(2):51-60, May 1989.

Fra71

A.G. Fraser.
On the meaning of names in programming systems.
Communications of the ACM, 14(6):409-416, June 1971.

GM88

Y. Gurevich and J. Morris.
Algebraic operational semantics and Modula-2.
In E. Börger, H. Kleine Büning, and M.M. Richter, editors, First Workshop on Computer Science Logic, number 329 in Lecture Notes In Computer Science, pages 81-101, 1988.

Gur88

Yuri Gurevich.
Logic and the challenge of computer science.
In E. Börger, editor, Current Trends in Theoretical Computer Science, pages 1-57. Computer Science Press, 1988.

HM95

Jim Huggins and Raghu Mani.
The evolving algebra interpreter, version 2.0.
University of Michigan, 1995.

Joh71

J.B. Johnston.
The contour model of block structured processes.
SIGPLAN Notices, 6(2):55-82, June 1971.

JSS95

Bill Janssen, Denis Severson, and Mike Spreitzer.
ILU Reference Manual.
Xerox Corporation, March 1995.
Documents ILU version 1.8.

Kap96

Alan Kaplan.
Name Management: Models, Mechanisms and Applications.
PhD thesis, University of Massachusetts, Amherst, MA, May 1996.

KW93

Alan Kaplan and Jack C. Wileden.
Name management and object technology for advanced software.
In International Symposium on Object Technologies for Advanced Software, number 742 in Lecture Notes in Computer Science, pages 371-392, Kanazawa, Japan, November 1993.

KW94

Alan Kaplan and Jack Wileden.
Conch: Experimenting with enhanced name management for persistent object systems.
In Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, September 1994.

KW95

Alan Kaplan and Jack C. Wileden.
Formalization and application of a unifying model for name management.
In The Third Symposium on the Foundations of Software Engineering, Washington, D.C., Sep 1995.

KW96

Alan Kaplan and Jack Wileden.
Toward painless polylingual persistence.
In Seventh International Workshop on Persistent Object Systems, Cape May, NJ, May 1996.

MABD90

R. Morrison, M.P. Atkinson, A.L. Brown, and A. Dearle.
On the classification of binding mechanisms.
Information Processing Letters, 34(1):51-55, February 1990.

Mil93

Robin Milner.
Elements of interaction.
Communications of the ACM, 36(1):78-90, January 1993.

PS94

Jens Palsberg and Michael I. Schwartzbach.
Object-Oriented Type Systems.
John Wiley & Sons, 1994.

Sal78

J.H. Saltzer.
Naming and binding of objects.
In Operating Systems: An Advanced Course, number 60 in Lecture Notes in Computer Science, chapter 3A, pages 99-208. Spring-Verlag, 1978.

Siv95

Gowri Sankar Sivaprasad.
Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces.
MS thesis, Iowa State University, Ames, IA, December 1995.

SR96

Arturo J. Sánchez-Ruíz.
Type models: Toward unifying concepts for language interoperability.
In Proceedings of the 22nd Latin-AMerican Conference on Informatics, pages 541-552, Bogotá, Columbia, June 1996.

Sto77

J.E. Stoy.
Denotational Semantics: the Scott-Strachey Approach to Programming Language Theory.
MIT Press, 1977.

WBT92

David L. Wells, Jose A. Blakely, and Craig W. Thompson.
Architecture of an open object-oriented management system.
IEEE Computer, 25(10):74-82, October 1992.

WCW88

A.L. Wolf, L.A. Clarke, and J.C. Wileden.
A model of visibility control.
IEEE Transactions on Software Engineering, 14(4):512-520, April 1988.

WWRT91

Jack C. Wileden, Alexader L. Wolf, William R. Rosenblatt, and Peri L. Tarr.
Specification level interoperability.
Communications of the ACM, 34(5):73-87, May 1991.

ZW95a

Amy M. Zaremski and Jeannette M. Wing.
Signature matching, a tool for using software libraries.
ACM Transactions on Software Engineering and Methodology, 4(2), April 1995.

ZW95b

Amy M. Zaremski and Jeannette M. Wing.
Specification matching of software components.
In The Third Symposium on the Foundations of Software Engineering, pages 6-17, Washington, D.C., Oct 1995.