21. ECOOP 2007: Berlin, Germany

Erik Ernst (Ed.): ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings. Lecture Notes in Computer Science 4609 Springer 2007, ISBN 978-3-540-73588-5

Invited Talk

Joe Armstrong:
Erlang - Software for a Concurrent World. 1

Types

Jeremy G. Siek, Walid Taha:
Gradual Typing for Objects. 2-27
Werner Dietl, Sophia Drossopoulou, Peter Müller:
Generic Universe Types. 28-53
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby:
Declarative Object Identity Using Relation Types. 54-78

Runtime Implementation

Kris Venstermans, Lieven Eeckhout, Koen De Bosschere:
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines. 79-100
Daniel Frampton, David F. Bacon, Perry Cheng, David Grove:
Generational Real-Time Garbage Collection. 101-125
Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang:
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers. 126-150

Empirical Studies

Bruno Cabral, Paulo Marques:
Exception Handling: A Field Study in Java and .NET. 151-175
Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid:
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. 176-200

Dahl-Nygaard Prize Invited Talk

Luca Cardelli:
An Accidental Simula User. 201

Programs and Predicates

Yi Lu, John Potter, Jingling Xue:
Validity Invariants and Effects. 202-226
Patrice Chalin, Perry R. James:
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. 227-247
Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid:
Efficiently Generating Structurally Complex Inputs with Thousands of Objects. 248-272

Language Design

Burak Emir, Martin Odersky, John Williams:
Matching Objects with Patterns. 273-298
Chuan-Kai Lin, Andrew P. Black:
DirectFlow: A Domain-Specific Language for Information-Flow Systems. 299-322
Stephanie Balzer, Thomas R. Gross, Patrick Eugster:
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. 323-346

Inheritance and Derivation

Stefan Wehr, Ralf Lämmel, Peter Thiemann:
JavaGI : Generalized Interfaces for Java. 347-372
John H. Reppy, Aaron Turon:
Metaprogramming with Traits. 373-398
Shan Shan Huang, David Zook, Yannis Smaragdakis:
Morphing: Safely Shaping a Class in the Image of Others. 399-424
Marko van Dooren, Eric Steegmans:
A Higher Abstraction Level Using First-Class Inheritance Relations. 425-449

Dahl-Nygaard Prize Invited Talk

Jonathan Aldrich:
Assuring Object-Oriented Architecture. 450

Aspects

Curtis Clifton, Gary T. Leavens, James Noble:
MAO: Ownership and Effects for More Effective Reasoning About Aspects. 451-475
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad:
Joinpoint Inference from Behavioral Specification to Implementation. 476-500
Michael Haupt, Hans Schippers:
A Machine Model for Aspect-Oriented Programming. 501-524
Eric Bodden, Laurie J. Hendren, Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. 525-549

Language About Language

Markus Degen, Peter Thiemann, Stefan Wehr:
Tracking Linear and Affine Resources with Java(X). 550-574
Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger:
Attribute Grammar-Based Language Extensions for Java. 575-599
Guido Wachsmuth:
Metamodel Adaptation and Model Co-adaptation. 600-624