18. ECOOP 2004: Oslo, Norway

Martin Odersky (Ed.): ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Lecture Notes in Computer Science 3086 Springer 2004, ISBN 3-540-22159-X

Encapsulation

Jonathan Aldrich, Craig Chambers:
Ownership Domains: Separating Aliasing Policy from Mechanism. 1-25
Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts:
Composable Encapsulation Policies. 26-50

Program Analysis

S. Alexander Spoon, Olin Shivers:
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. 51-74
Matthew Q. Beers, Christian H. Stork, Michael Franz:
Efficiently Verifiable Escape Analysis. 75-95
Martin Hirzel, Amer Diwan, Michael Hind:
Pointer Analysis in the Presence of Dynamic Class Loading. 96-122

Software Engineering

Mads Torgersen:
The Expression Problem Revisited. 123-143
Torbjörn Ekman, Görel Hedin:
Rewritable Reference Attributed Grammars. 144-169
Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy:
Finding and Removing Performance Bottlenecks in Large Systems. 170-194

Aspects

Doug Janzen, Kris De Volder:
Programming with Crosscutting Effective Views. 195-218
Tal Cohen, Joseph Gil:
AspectJ2EE = AOP + J2EE. 219-243
Jonathan Sillito, Christopher Dutchyn, Andrew David Eisenberg, Kris De Volder:
Use Case Level Pointcuts. 244-266

Invited Talk 1

Matthias Felleisen:
Functional Objects. 267

Middleware

Skef Iterum, Ralph Campbell:
Inheritance-Inspired Interface Versioning for CORBA. 268-290
Mourad Alia, Sébastien Chassande-Barrioz, Pascal Dechamboux, Catherine Hamon, Alexandre Lefebvre:
A Middleware Framework for the Persistence and Querying of Java Objects. 291-315
Denis Caromel, Luis Mateu, Éric Tanter:
Sequential Object Monitors. 316-340
Roman Vitenberg, Kristian Kvilekval, Ambuj K. Singh:
Increasing Concurrency in Databases Using Program Analysis. 341-363

Types

Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. 364-388
Kim B. Bruce, J. Nathan Foster:
LOOJ: Weaving LOOM into Java. 389-413
Yu David Liu, Scott F. Smith:
Modules with Interfaces for Dynamic Linking and Communication. 414-439

Verification

Stephen McCamant, Michael D. Ernst:
Early Identification of Incompatibilities in Multi-component Upgrades. 440-464
Robert DeLine, Manuel Fähndrich:
Typestates for Objects. 465-490
K. Rustan M. Leino, Peter Müller:
Object Invariants in Dynamic Contexts. 491-516

Invited Talk 2

Thomas A. Henzinger:
Rich Interfaces for Software Modules. 517-518

Systems

Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Transactional Monitors for Concurrent Objects. 519-542
José Manuel Velasco, Katzalin Olcoz, Francisco Tirado:
Adaptive Tuning of Reserved Space in an Appel Collector. 543-559
Tamiya Onodera, Kiyokuni Kawachiya, Akira Koseki:
Lock Reservation for Java Reconsidered. 559-583
Bjorn De Sutter, Frank Tip, Julian Dolby:
Customization of Java Library Classes Using Type Constraints and Profile Information. 585-610

Last update Thu May 24 04:16:43 2012 CET by the DBLP Team —

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