ECOOP 2007 – Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 – August 3, 2007. Proceedings

Joe Armstrong (auth.), Erik Ernst (eds.)9783540735885, 3540735887

This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007.

The 25 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 135 final submissions. The papers are organized in topical sections on types, runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.

---

Table of contents :
Front Matter….Pages –
Erlang – Software for a Concurrent World….Pages 1-1
Gradual Typing for Objects….Pages 2-27
Generic Universe Types….Pages 28-53
Declarative Object Identity Using Relation Types….Pages 54-78
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines….Pages 79-100
Generational Real-Time Garbage Collection….Pages 101-125
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers….Pages 126-150
Exception Handling: A Field Study in Java and .NET….Pages 151-175
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study….Pages 176-200
An Accidental Simula User….Pages 201-201
Validity Invariants and Effects….Pages 202-226
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden….Pages 227-247
Efficiently Generating Structurally Complex Inputs with Thousands of Objects….Pages 248-272
Matching Objects with Patterns….Pages 273-298
DirectFlow: A Domain-Specific Language for Information-Flow Systems….Pages 299-322
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships….Pages 323-346
JavaGI : Generalized Interfaces for Java….Pages 347-372
Metaprogramming with Traits….Pages 373-398
Morphing: Safely Shaping a Class in the Image of Others….Pages 399-424
A Higher Abstraction Level Using First-Class Inheritance Relations….Pages 425-449
Assuring Object-Oriented Architecture….Pages 450-450
MAO: Ownership and Effects for More Effective Reasoning About Aspects….Pages 451-475
Joinpoint Inference from Behavioral Specification to Implementation….Pages 476-500
A Machine Model for Aspect-Oriented Programming….Pages 501-524
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring….Pages 525-549
Tracking Linear and Affine Resources with Java(X) ….Pages 550-574
Attribute Grammar-Based Language Extensions for Java….Pages 575-599
Metamodel Adaptation and Model Co-adaptation….Pages 600-624
Back Matter….Pages –