On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Journal of Symbolic Computation
The annotated C++ reference manual
The annotated C++ reference manual
F-bounded polymorphism for object-oriented programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eiffel: the language
Finite acyclic theories are unitary
Journal of Symbolic Computation
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Deforestation: Transforming Programs to Eliminate Trees
ESOP '88 Proceedings of the 2nd European Symposium on Programming
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Object Oriented Interoperability
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Hi-index | 0.00 |
As heterogeneous and distributed object systems become more common, interoperability of system components is becoming a pressing issue. One important challenge in making such component-based systems work is support for object transport. Earlier data transport standards such as XDR focused primarily on marshalling RPC parameters and results for transport between different processor architectures. Effective use of the potential benefits of heterogeneous distributed object systems will require object transport at many levels of abstraction and granularity, ranging from small objects exchanged via RPC to large multimedia documents transferred across environments via the world-wide web. To emphasize the transformations involved, we refer to the problem of producing copies of objects across different environments as object imaging. In this paper we propose a very general notion of object imaging in which a flexible knowledge-base in the form of a dual logic of conversion and conformance is used to represent elements of imaging knowledge as composable combinators. This approach has the potential to seamlessly cover the entire range of imaging problems from simple primitive datatypes to complex object structures, and supports a variety of notions about conformance of object and interface types, including the multiple-inheritance single-interface object model of CORBA and the inheritance-averse multiple-interface model of COM.