ECOOP 2004 - Object-Oriented Programming

18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings

AvMartin Odersky

Häftad, Engelska, 2004

Del i serien Lecture Notes in Computer Science

1 103 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2004-06-08
Mått:155 x 233 x 34 mm
Vikt:931 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:614
Upplaga:2004
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540221593

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

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.