Del i serien Lecture Notes in Computer Science

ECOOP 2004 - Object-Oriented Programming

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

Häftad, Engelska, 2004

1 429 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2004-06-08
Mått155 x 233 x 34 mm
Vikt931 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor614
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540221593

Tillhör följande kategorier

Programmeringsböcker inom Data och IT

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.