ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings (Q1896492)

[For the preceding conference see Zbl 0875.00133.] This volume contains the proceedings of ECOOP '95, the Ninth European Conference on Object-Oriented Programming, held in Aarhus, Denmark, August 1995. The papers cover the following topics: type theory and type inference for object-oriented programming, object-oriented programming languages (optimization, polymorphism, subtyping, (multiple) inheritance, class hierarchies, static and dynamic binding), reflective object-oriented programming (metaobject protocols for the implementation of atomic data types, metaprogramming), an object-oriented approach to the formal verification of hardware, implementation aspects of object-oriented programming (incremental garbage collection, message dispatch on pipelined processors, compiler optimization techniques vs. hardware support for increased performance of object-oriented languages), concurrency, distributed computing and formal specification of object-oriented systems, and object-oriented hypermedia programming environments.