Borrow it
Coverart for item
The Resource ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings, Jan Vitek (ed.)

ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings, Jan Vitek (ed.)

Creator
Contributor
Summary
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 submissions. Presenting research results or experience reports in all areas relevant to object technology - including work that takes inspiration from or builds connections to areas not commonly considered object-oriented - the papers cover topics such as design methods and design patterns in analysis, concurrent systems, databases, persistence and transactions, distributed and mobile systems, frameworks, product lines and software architectures, language design and implementation, testing and metrics, programming environments and tools, theoretical foundations, type systems, formal methods, versioning, compatibility, software evolution, aspects, components, modularity, reflection, collaboration, and workflow
Language
eng
Work
Publication
Extent
1 online resource (xiii, 694 pages)
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
Isbn
9783540705925
Instance
Label
ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings
Title
ECOOP 2008 - object-oriented programming
Title remainder
22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings
Statement of responsibility
Jan Vitek (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
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 submissions. Presenting research results or experience reports in all areas relevant to object technology - including work that takes inspiration from or builds connections to areas not commonly considered object-oriented - the papers cover topics such as design methods and design patterns in analysis, concurrent systems, databases, persistence and transactions, distributed and mobile systems, frameworks, product lines and software architectures, language design and implementation, testing and metrics, programming environments and tools, theoretical foundations, type systems, formal methods, versioning, compatibility, software evolution, aspects, components, modularity, reflection, collaboration, and workflow
Member of
Cataloging source
GW5XE
Dewey number
004
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.E23 2008eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
ECOOP (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Vitek, Jan
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 2 - Programming and software engineering
Series volume
5142
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Computer science
  • Software engineering
  • Informatique
  • Computer science
  • Object-oriented programming (Computer science)
  • Software engineering
Label
ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings, Jan Vitek (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
272314768
Dimensions
unknown
Extent
1 online resource (xiii, 694 pages)
Form of item
online
Isbn
9783540705925
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-70592-5
Other physical details
illustrations (some color).
Specific material designation
remote
System control number
(OCoLC)272314768
Label
ECOOP 2008 - object-oriented programming : 22nd European conference, Paphos, Cyprus, July 7-11, 2008 : proceedings, Jan Vitek (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
272314768
Dimensions
unknown
Extent
1 online resource (xiii, 694 pages)
Form of item
online
Isbn
9783540705925
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-70592-5
Other physical details
illustrations (some color).
Specific material designation
remote
System control number
(OCoLC)272314768

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...