ECOOP - Object-Oriented Programming

The21stEuropeanConferenceonObject-OrientedProgramming,ECOOP2007, was held in Berlin, Germany, on July 30 to August 3, 2007. ECOOP is the most importantand inspiring forumin Europeandbeyond for researchers,practiti- ers, and students working in that smorgasbord of topics and approaches known as object orientation. This topic area was explored and challenged by excellent invited speakers-two of which were the winners of this year's Dahl-Nygaard award-in the carefully refereed and selected technical papers, on posters, via demonstrations, and in tutorials. Each of the many workshops complemented this with a very interactive and dynamic treatment of more speci?c topics. - nally, panels allowed for loud and lively disagreement. Yet, it is one of ECOOP's specialqualities that this plethora ofactivities add upto a coherentandexciting whole, rather than deteriorating into chaos. The Program Committee received 161 submissions this year. Only 135 of them were carried through the full review process, because of a number of - tractions and a number of submissions of abstracts that were never followed by a full paper. However, the remaining papers were of very high quality and we accepted25 of them for publication. Helping very goodpapers to be published is more useful than having an impressively low acceptance rate. The papers were selected according to four groups of criteria, whose priority depended on the paper: relevance; originality and signi?cance; precisionand correctness;and p- sentation and clarity. Each paper had three, four, or ?ve reviews, depending on how controversial it was.

Inhalt

Invited Talk.- Erlang - Software for a Concurrent World.- Types.- Gradual Typing for Objects.- Generic Universe Types.- Declarative Object Identity Using Relation Types.- Runtime Implementation.- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines.- Generational Real-Time Garbage Collection.- AS-GC: An Efficient Generational Garbage Collector for Java Application Servers.- Empirical Studies.- Exception Handling: A Field Study in Java and .NET.- On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.- Dahl-Nygaard Prize Invited Talk.- An Accidental Simula User.- Programs and Predicates.- Validity Invariants and Effects.- Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.- Efficiently Generating Structurally Complex Inputs with Thousands of Objects.- Language Design.- Matching Objects with Patterns.- DirectFlow: A Domain-Specific Language for Information-Flow Systems.- A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships.- Inheritance and Derivation.- JavaGI: Generalized Interfaces for Java.- Metaprogramming with Traits.- Morphing: Safely Shaping a Class in the Image of Others.- A Higher Abstraction Level Using First-Class Inheritance Relations.- Dahl-Nygaard Prize Invited Talk.- Assuring Object-Oriented Architecture.- Aspects.- MAO: Ownership and Effects for More Effective Reasoning About Aspects.- Joinpoint Inference from Behavioral Specification to Implementation.- A Machine Model for Aspect-Oriented Programming.- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.- Language About Language.- Tracking Linear and Affine Resources with Java(X).- Attribute Grammar-Based Language Extensions for Java.- Metamodel Adaptation and Model Co-adaptation.