Jan Vitek
Proceedings of the 22nd European Conference on Object-Oriented Programming
ECOOP, 2008.

@proceedings{ECOOP-2008,
	address       = "Paphos, Cyprus",
	editor        = "Jan Vitek",
	isbn          = "978-3-540-70591-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd European Conference on Object-Oriented Programming}",
	volume        = 5142,
	year          = 2008,
}

Contents (28 items)

7 ×#java
6 ×#named
3 ×#object-oriented
3 ×#programming
2 ×#aspect-oriented
2 ×#distributed
2 ×#inheritance
2 ×#invariant
2 ×#memory management
2 ×#transaction

ECOOP-2008-Guerraoui #transaction

The Return of Transactions (RG), p. 1.

ECOOP-2008-CameronDE #java

A Model for Java with Wildcards (NRC, SD, EE), pp. 2–26.

ECOOP-2008-SevcikA #java #memory management #on the #program transformation

On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.

ECOOP-2008-Gray #inheritance

Safe Cross-Language Inheritance (KEG), pp. 52–75.

ECOOP-2008-HuangHBR #bound #hardware #object-oriented #programming

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary (SSH, AH, DFB, RMR), pp. 76–103.

ECOOP-2008-SrinivasanM #java #named

Kilim: Isolation-Typed Actors for Java (SS, AM), pp. 104–128.

ECOOP-2008-ZiarekWAMSJ #execution #java #transaction

A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.

ECOOP-2008-RajanL #named #quantifier

Ptolemy: A Language with Quantified, Typed Events (HR, GTL), pp. 155–179.

ECOOP-2008-HavingaBA #aspect-oriented #prototype

Prototyping and Composing Aspect Languages (WH, LB, MA), pp. 180–206.

ECOOP-2008-CoelhoRGFCKSL #aspect-oriented #case study #exception #impact analysis

Assessing the Impact of Aspects on Exception Flows: An Exploratory Study (RC, AR, AG, FCF, NC, UK, AvS, CJPdL), pp. 207–234.

ECOOP-2008-BiermanPN #incremental #named

UpgradeJ: Incremental Typechecking for Class Upgrades (GMB, MJP, JN), pp. 235–259.

ECOOP-2008-MalayeriA #type system

Integrating Nominal and Structural Subtyping (DM, JA), pp. 260–284.

ECOOP-2008-HessellundS #analysis

Flow Analysis of Code Customizations (AH, PS), pp. 285–308.

ECOOP-2008-ZhangH #adaptation #layout #online

Online Phase-Adaptive Data Layout Selection (CZ, MH), pp. 309–334.

ECOOP-2008-SomanKD #memory management #multi #named #runtime #scalability

MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments (SS, CK, LD), pp. 335–361.

ECOOP-2008-ZhangJ #concurrent #java

Externalizing Java Server Concurrency with CAL (CZ, HAJ), pp. 362–386.

ECOOP-2008-BanerjeeNR #invariant #logic #reasoning

Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.

ECOOP-2008-DrossopoulouFMS #framework #invariant #verification

A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.

ECOOP-2008-BruckerW #modelling #object-oriented

Extensible Universes for Object-Oriented Data Models (ADB, BW), pp. 438–462.

ECOOP-2008-OstrowskiBDA #distributed #programming

Programming with Live Distributed Objects (KO, KB, DD, JHA), pp. 463–489.

ECOOP-2008-DemskyD #named #robust

Bristlecone: A Language for Robust Software Systems (BD, AD), pp. 490–515.

ECOOP-2008-HuYH #distributed #java #programming

Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.

ECOOP-2008-ArtziKE #named

ReCrash: Making Software Failures Reproducible by Preserving Object States (SA, SK, MDE), pp. 542–565.

ECOOP-2008-ChinM #interactive #state machine

An Extensible State Machine Pattern for Interactive Applications (BC, TDM), pp. 566–591.

ECOOP-2008-LienhardGN #debugging #object-oriented

Practical Object-Oriented Back-in-Time Debugging (AL, TG, ON), pp. 592–615.

ECOOP-2008-QuinonezTE

Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.

ECOOP-2008-BessonJT #interface #stack

Computing Stack Maps with Interfaces (FB, TPJ, TT), pp. 642–666.

ECOOP-2008-TemperoNM #empirical #how #inheritance #java #source code

How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software (EDT, JN, HM), pp. 667–691.