ECOOP '92. European Conference on Object-Oriented Programming Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings

This volume constitutes the proceedings of the sixth European Conference on Object-Oriented Programming (ECOOP), held in Utrecht, The Netherlands, June 29 - July 3, 1992. Since the "French initiative" to organize the first conference in Paris, ECOOP has been a very successful forum for discussing the state of the art of object orientation. ECOOP has been able to attract papers of a high scientific quality as well as high quality experience papers describing the pros and cons of using object orientation in practice. This duality between theory and practice within object orientation makes a good example of experimental computer science. The volume contains 24 papers, including two invited papers and 22 papers selected by the programme committee from 124 submissions. Each submitted paper was reviewed by 3-4 people, and the selection of papers was based only on the quality of the papers themselves.

On unifying relational and object-oriented database systems.- Import is not inheritance why we need both: Modules and classes.- Object-oriented multi-methods in Cecil.- Aggregation in a behavior oriented object model.- Reasoning and refinement in object-oriented specification languages.- Combining object-oriented and logic paradigms: A modal logic programming approach.- An incremental class reorganization approach.- System design by composing structures of interacting objects.- Unifying the design and implementation of user interfaces through the object paradigm.- Nesting actions through asynchronous message passing : The ACS protocol.- Inheritance of synchronization constraints in concurrent object-oriented programming languages.- EPEE: an eiffel environment to program distributed memory parallel computers.- Using object-oriented programming techniques for implementing ISDN supplementary services.- An object model for engineering design.- An object-oriented class library for scalable parallel heuristic search.- Integrating constraints with an object-oriented language.- Specifying reusable components using contracts.- ACTS: A type system for object-oriented programming based on abstract and concrete classes.- Making type inference practical.- A reflective model of inheritance.- An object-oriented language-database integration model: The composition-filters approach.- Supporting physical independence in an Object Database Server.- Developing a class hierarchy for object-oriented transaction processing.