Normal view MARC view ISBD view

ECOOP 2008 – Object-Oriented Programming [electronic resource] :22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek.

by Vitek, Jan [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 5142Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Description: online resource.ISBN: 9783540705925.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Information Systems | Computer Science | Programming Techniques | Software Engineering | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Computer Communication Networks | Management of Computing and Information SystemsDDC classification: 005.11 Online resources: Click here to access online
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
MAIN LIBRARY
QA76.6-76.66 (Browse shelf) Available

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.

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.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha