Following a 13-year tradition of excellence, the 14th ECOOP conference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented technology has reached, which warrants its use as a key paradigm in any computerized system. The principles of the object-oriented paradigm and the features of systems, languages, tools, and methodologies based on it are a source of research ideas and solutions to many in all areas of computer science. ECOOP 2000 showed a thriving eld characterized by success on the practical side and at the same time by continuous scienti c growth. Firmly established as a leading forum in the object-oriented arena, ECOOP 2000 received 109 high quality submissions. After a thorough review process, the program committee selected 20 papers, which well re?ect relevant trends in object-oriented research: object modeling, type theory, distribution and coo- ration, advanced tools, programming languages. The program committee, c- sisting of 31 distinguished researchers in object-orientation, met in Milan, Italy, to select the papers for inclusion in the technical program of the conference. Invited Talk 1.- Towards a Unified Programming Language.- UML.- Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools.- Design Patterns Application in UML.- UML-F: A Modeling Language for Object-Oriented Frameworks.- Type Theory.- Extending Moby with Inheritance-Based Subtyping.- A Basic Model of Typed Components.- On Inner Classes.- Object Relations.- Jam - A Smooth Extension of Java with Mixins.- A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.- Generic Wrappers.- Copying and Comparing: Problems and Solutions.- Invited Talk 2.- Developing Security Systems in the Real World.- Cooperation and Distribution.- Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction.- Design Templates for Collective Behavior.- Ionic Types.- Java Run-Time.- Load-Time Structural Reflection in Java.- Runtime Support for Type-Safe Dynamic Java Classes.- OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java.- Invited Talk 3.- Using Objects for Next Generation Communication Services.- Optimization.- Empirical Study of Object-Layout Strategies and Optimization Techniques.- Optimizing Java Programs in the Presence of Exceptions.- Tools.- HERCULE: Non-invasively Tracking Java(TM) Component-Based Application Activity.- Automated Test Case Generation from Dynamic Models.
