ECOOP 2003 - Object-Oriented Programming

The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.

The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology.

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.