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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Vitek, Jan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5142
Temas:
Computer networks .
Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Computer Communication Networks.
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares