ECOOP 2004 - Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science)

Odersky, Martin [Editor]

ISBN 10: 354022159X / ISBN 13: 9783540221593

Editore: Springer, 2004

Riguardo questo articolo

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Codice articolo DA1412285

Dati bibliografici

• Titolo: ECOOP 2004 - Object-Oriented Programming: 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science)
• Editore: Springer
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 354022159X
• ISBN 13: 9783540221593
• Rilegatura: Paperback
• Condizione: Very Good

Descrizione articolo

Riassunto

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.

Contenuti

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.