ECOOP 2004 - Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings

by Martin Odersky (Editor)

Encapsulation.- Ownership Separating Aliasing Policy from Mechanism.- Composable Encapsulation Policies.- Program Analysis.- Demand-Driven Type Inference with Subgoal Trading Precision for Scalability.- Efficiently Verifiable Escape Analysis.- Pointer Analysis in the Presence of Dynamic Class Loading.- Software Engineering.- The Expression Problem Revisited.- Rewritable Reference Attributed Grammars.- Finding and Removing Performance Bottlenecks in Large Systems.- Aspects.- Programming with Crosscutting Effective Views.- AspectJ2EE = AOP + J2EE.- Use Case Level Pointcuts.- Invited Talk 1.- Functional Objects.- Middleware.- Inheritance-Inspired Interface Versioning for CORBA.- A Middleware Framework for the Persistence and Querying of Java Objects.- Sequential Object Monitors.- Increasing Concurrency in Databases Using Program Analysis.- Types.- Semantic Contracts and Structural Subtyping in a Nominal World.- Weaving LOOM into Java.- Modules with Interfaces for Dynamic Linking and Communication.- Verification.- Early Identification of Incompatibilities in Multi-component Upgrades.- Typestates for Objects.- Object Invariants in Dynamic Contexts.- Invited Talk 2.- Rich Interfaces for Software Modules.- Systems.- Transactional Monitors for Concurrent Objects.- Adaptive Tuning of Reserved Space in an Appel Collector.- Lock Reservation for Java Reconsidered.- Customization of Java Library Classes Using Type Constraints and Profile Information.

628 pages, Paperback

First published July 27, 2004