Measurement strategies -- Will Europe ever produce and sell objects? -- Type-safe compilation of covariant specialization: A practical case -- Integrating subtyping, matching and type quantification: A practical perspective -- Typed object-oriented functional programming with late binding -- Large scale object-oriented software-development in a banking environment -- An application framework for module composition tools -- Automatic generation of user interfaces from data structure specifications and object-oriented application models -- Eliminating virtual function calls in C++ programs -- Supporting explicit disambiguation of multi-methods -- Towards alias-free pointers -- Inheritance and cofree constructions -- (Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly -- Modeling subobject-based inheritance -- Parallel operators -- An implementation method of migratable distributed objects using an RPC technique integrated with virtual memory management -- Protocol classes for designing reliable distributed environments -- Dynamic clustering in object databases exploiting effective use of relationships between objects -- Conceptual design of active object-oriented database applications using multi-level diagrams -- Bridging the gap between C++ and relational databases -- Generalising the BETA type system -- Metaphoric polymorphism: Taking code reuse one step further -- Activities: Abstractions for collective behavior.

This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996. The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.