Cover Image
Read Now

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July 2008. The 27 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 138 final submissi...

Full description

Bibliographic Details
Other Authors: Vitek, Jan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:1st ed. 2008
Series:Programming and Software Engineering
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Computer Networks 
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Keynote
  • The Return of Transactions
  • Session I
  • A Model for Java with Wildcards
  • On Validity of Program Transformations in the Java Memory Model
  • Safe Cross-Language Inheritance
  • Session II
  • Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
  • Kilim: Isolation-Typed Actors for Java
  • A Uniform Transactional Execution Environment for Java
  • Session III
  • Ptolemy: A Language with Quantified, Typed Events
  • Prototyping and Composing Aspect Languages
  • Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
  • Session IV
  • UpgradeJ: Incremental Typechecking for Class Upgrades
  • Integrating Nominal and Structural Subtyping
  • Flow Analysis of Code Customizations
  • Session V
  • Online Phase-Adaptive Data Layout Selection
  • MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments
  • Externalizing Java Server Concurrency with CAL
  • Session VI
  • Regional Logic for Local Reasoning about Global Invariants
  • A Unified Framework for Verification Techniques for Object Invariants
  • Extensible Universes for Object-Oriented Data Models
  • Session VII
  • Programming with Live Distributed Objects
  • Bristlecone: A Language for Robust Software Systems
  • Session-Based Distributed Programming in Java
  • Session VIII
  • ReCrash: Making Software Failures Reproducible by Preserving Object States
  • An Extensible State Machine Pattern for Interactive Applications
  • Practical Object-Oriented Back-in-Time Debugging
  • Session IX
  • Inference of Reference Immutability
  • Computing Stack Maps with Interfaces
  • How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software

Similar Items