Amazon cover image
Image from Amazon.com

ECOOP 2004--object-oriented programming : 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings / Martin Odersky (ed.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3086.Publication details: Berlin ; New York : Springer, ©2004.Description: 1 online resource (xiii, 609 pages) : figure, tableContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 354024851X
  • 9783540248514
Other title:
  • Object-oriented programming
Subject(s): Genre/Form: Additional physical formats: Print version:: ECOOP 2004--object-oriented programming.DDC classification:
  • 005.1/1 22
LOC classification:
  • QA76.9.O35 E33 2004eb
Online resources:
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

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.

English.

Powered by Koha