ECOOP 2003 – Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / edited by Luca Cardelli.

Invited Talk 1 -- Built-in Object Security -- Aspects and Components -- Modeling Crosscutting in Aspect-Oriented Mechanisms -- Spontaneous Container Services -- A Calculus of Untyped Aspect-Oriented Programs -- Patterns, Architecture, and Collaboration -- Language Support for Connector Abstractions -- Walkabout Revisited: The Runabout -- MX: Mobile Object Exchange for Collaborative Applications -- Types -- Regular Object Types -- External Uniqueness Is Unique Enough -- A Nominal Theory of Objects with Dependent Types -- Invited Talk 2 -- Open APIs for Embedded Security -- Modeling -- Traits: Composable Units of Behaviour -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information -- Higher-Order Hierarchies -- Algorithms, Optimization and Runtimes -- Two-Dimensional Bi-directional Object Layout -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications -- Java Subtype Tests in Real-Time -- Invited Talk 3 -- Growing XQuery -- Formal Techniques and Methodology -- Discovering Algebraic Specifications from Java Classes -- A Refinement Algebra for Object-Oriented Programming -- Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment.