Description |
xiii, 609 pages : fig., tables ; 24 cm |
Series |
Lecture notes in computer science ; 3086 |
|
Lecture notes in computer science ; 3086
|
Contents |
Encapsulation -- Ownership Domains: Separating Aliasing Policy from Mechanism -- Composable Encapsulation Policies -- Program Analysis -- Demand-Driven Type Inference with Subgoal Pruning: 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 Casts: Contracts and Structural Subtyping in a Nominal World -- LOOJ: 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 |
Summary |
This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004. The 25 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from a total of 132 submissions. The papers are organized in topical sections on encapsulation, program analysis, software engineering, aspects, middleware, types, verification, and systems |
Analysis |
ECOOP |
|
Object-oriented programming |
|
ECOOP |
|
Object-oriented programming |
Bibliography |
Includes bibliographical references and index |
Notes |
Also available in print |
|
Mode of access: World Wide Web |
|
Print version record |
Subject |
Object-oriented methods (Computer science) -- Congresses.
|
|
Object-oriented programming (Computer science) -- Congresses.
|
Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
Author |
Odersky, Martin.
|
LC no. |
2004106985 |
ISBN |
354022159X |
|