Invited Talks -- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces in Java -- Efficiently Refactoring Java Applications to Use Generic Libraries -- Sharing the Runtime Representation of Classes Across Class Loaders -- Aspects and Modularity -- Aspect-Oriented Programming Beyond Dependency Injection -- Open Modules: Modular Reasoning About Advice -- Evaluating Support for Features in Advanced Modularization Technologies -- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts -- Expressive Pointcuts for Increased Modularity -- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? -- Language Design -- First-Class Relationships in an Object-Oriented Language -- The Essence of Data Access in C? -- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model -- Efficient Multimethods in a Single Dispatch Language -- Program Analysis -- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection -- State Based Ownership, Reentrance, and Encapsulation -- Consistency Checking of Statechart Diagrams of a Class Hierarchy -- Types -- Towards Type Inference for JavaScript -- Chai: Traits for Java-Like Languages -- A Type System for Reachability and Acyclicity -- Testing -- Eclat: Automatic Generation and Classification of Test Inputs -- Lightweight Defect Localization for Java -- Concurrency -- Extending JML for Modular Specification and Verification of Multi-threaded Programs -- Derivation and Evaluation of Concurrent Collectors -- Static Deadlock Detection for Java Libraries.

This book constitutes the refereed proceedings of the 19th European Conference on Object-Oriented Programming, ECOOP 2005, held in Glasgow, UK, in July 2005. The 24 revised full papers, presented together with two invited papers by the recipients of the newly introduced AITO Dahl-Nygaard Prize, were carefully reviewed and selected from 172 submissions. The papers are organized in topical sections on Java, aspects and modularity, language design, program analysis, types, testing, and concurrency.