This book constitutes 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.
Author(s): Martín Abadi (auth.), Luca Cardelli (eds.)
Series: Lecture Notes in Computer Science 2743
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 505
Tags: Software Engineering/Programming and Operating Systems; Computer Communication Networks; Logics and Meanings of Programs; Database Management; Computer Appl. in Administrative Data Processing; Computers and Society
Front Matter....Pages -
Built-in Object Security....Pages 1-1
Modeling Crosscutting in Aspect-Oriented Mechanisms....Pages 2-28
Spontaneous Container Services....Pages 29-53
A Calculus of Untyped Aspect-Oriented Programs....Pages 54-73
Language Support for Connector Abstractions....Pages 74-102
Walkabout Revisited: The Runabout....Pages 103-125
MX: Mobile Object Exchange for Collaborative Applications....Pages 126-150
Regular Object Types....Pages 151-175
External Uniqueness Is Unique Enough....Pages 176-200
A Nominal Theory of Objects with Dependent Types....Pages 201-224
Open APIs for Embedded Security....Pages 225-247
Traits: Composable Units of Behaviour....Pages 248-274
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information....Pages 275-302
Higher-Order Hierarchies....Pages 303-328
Two-Dimensional Bi-directional Object Layout....Pages 329-350
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications....Pages 351-377
Java Subtype Tests in Real-Time....Pages 378-404
Growing XQuery....Pages 405-430
Discovering Algebraic Specifications from Java Classes....Pages 431-456
A Refinement Algebra for Object-Oriented Programming....Pages 457-482
Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment....Pages 483-500
Back Matter....Pages -
