ECOOP '97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9--13, 1997. Proceedings (Q5906784)

This volume contains the proceedings of the eleventh European Conference on Object-Oriented Programming (ECOOP'97), held in Jyväskylä, Finland, June 1997. It contains two full papers of invited talks (one on the GOODS (General Object-Oriented Distributed Systems) project by K. Nygaard, the other one on a new programming paradigm intended to replace procedural and object-oriented programming, which is called aspect-oriented programming by G. Kiczales et al. Twenty technical papers are contained in the proceedings which cover programming language aspects (a new data abstraction mechanism for object-oriented programming languages which makes the ability to share state a first class property of a data type, static integrity constraint management in object-oriented database programming languages via predicate transformers, and exception handling mechanisms in object-oriented systems), typing and type theory (an approach to eliminate subtyping in favor of matching in a statically-typed object-oriented language, a new type inclusion test which computes a near optimal hierarchical encoding of type hierarchies, and a first-order extension of Abadi and Cardelli's Calculus of Primitive Objects that supports method extension in the presence of object subsumption), metaprogramming (a reflective architecture for process control applications with composition of metaobjects, dynamic object evolution without name collisions), implementational studies (a run-time architecture for evolving, distributed, persistent object-oriented systems, a framework for inheritance management and method dispatch in object-oriented languages, an optimization approach to Smalltalk based on selector code indexing), formal methods and specifications (a hierarchical approach to encapsulation using a formalized version of the syntropy methodology of Object-Oriented Analysis and Design, a formal foundation for the Unified Modeling Language for object-oriented systems, a type model that incorporates coordination requirements for active objects), formal and programming aspects concerning Java (a formal description of the operational semantics of a type-safe subset of Java, the introduction of generic classes into Java with virtual types, an approach to compose objects from a set of features in terms of feature-oriented programming), and software design patterns (tool support for object-oriented patterns, structuring user documentation using patterns and hypertext).