17. ECOOP 2003: Darmstadt, Germany

Luca Cardelli (Ed.): ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Lecture Notes in Computer Science 2743 Springer 2003, ISBN 3-540-40531-3

Invited Talk 1

Martín Abadi:
Built-in Object Security. 1

Aspects and Components

Hidehiko Masuhara, Gregor Kiczales:
Modeling Crosscutting in Aspect-Oriented Mechanisms. 2-28
Andrei Popovici, Gustavo Alonso, Thomas R. Gross:
Spontaneous Container Services. 29-53
Radha Jagadeesan, Alan Jeffrey, James Riely:
A Calculus of Untyped Aspect-Oriented Programs. 54-73

Patterns, Architecture, and Collaboration

Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Language Support for Connector Abstractions. 74-102
Christian Grothoff:
Walkabout Revisited: The Runabout. 103-125
Liuba Shrira, Hong Tian:
MX: Mobile Object Exchange for Collaborative Applications. 126-150

Types

Vladimir Gapeyev, Benjamin C. Pierce:
Regular Object Types. 151-175
Dave Clarke, Tobias Wrigstad:
External Uniqueness Is Unique Enough. 176-200
Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger:
A Nominal Theory of Objects with Dependent Types. 201-224

Invited Talk 2

Carl A. Gunter:
Open APIs for Embedded Security. 225-247

Modeling

Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew P. Black:
Traits: Composable Units of Behaviour. 248-274
Patrick Lam, Martin C. Rinard:
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. 275-302
Erik Ernst:
Higher-Order Hierarchies. 303-328

Algorithms, Optimization and Runtimes

Yoav Zibin, Joseph Gil:
Two-Dimensional Bi-directional Object Layout. 329-350
Nick Mitchell, Gary Sevitsky:
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications. 351-377
Krzysztof Palacz, Jan Vitek:
Java Subtype Tests in Real-Time. 378-404

Invited Talk 3

Mary F. Fernández, Jérôme Siméon:
Growing XQuery. 405-430

Formal Techniques and Methodology

Johannes Henkel, Amer Diwan:
Discovering Algebraic Specifications from Java Classes. 431-456
Paulo Borba, Augusto Sampaio, Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming. 457-482
Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde, Anders Pedersen:
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment. 483-500

Last update Wed May 22 03:26:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page