ECOOP 2007: Object-Oriented Programming

ISBN-13: 9783540735885 / Angielski / Miękka / 2007 / 644 str.

Ernst, Erik

Opis

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.

Spis treści

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.