ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
Published on 9. July 2003
Book
Paperback/Softback
X, 505 pages
978-3-540-40531-3 (ISBN)
Description
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.
More details
Series
Edition
2003 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 505 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 28 mm
Weight
774 gr
ISBN-13
978-3-540-40531-3 (9783540405313)
DOI
10.1007/b11832
Schweitzer Classification
Other editions
Additional editions
Luca Cardelli
ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
E-Book
08/2003
Springer
€96.29
Available for download
Content
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.