


default search action
22nd ECOOP 2008: Paphos, Cyprus
- Jan Vitek

:
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Lecture Notes in Computer Science 5142, Springer 2008, ISBN 978-3-540-70591-8
Keynote
- Rachid Guerraoui:

The Return of Transactions. 1
Session I
- Nicholas Cameron, Sophia Drossopoulou, Erik Ernst:

A Model for Java with Wildcards. 2-26 - Jaroslav Sevcík, David Aspinall:

On Validity of Program Transformations in the Java Memory Model. 27-51 - Kathryn E. Gray:

Safe Cross-Language Inheritance. 52-75
Session II
- Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah:

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. 76-103 - Sriram Srinivasan, Alan Mycroft

:
Kilim: Isolation-Typed Actors for Java. 104-128 - Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:

A Uniform Transactional Execution Environment for Java. 129-154
Session III
- Hridesh Rajan

, Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events. 155-179 - Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit:

Prototyping and Composing Aspect Languages. 180-206 - Roberta Coelho, Awais Rashid

, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho
, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena:
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study. 207-234
Session IV
- Gavin M. Bierman, Matthew J. Parkinson, James Noble

:
UpgradeJ: Incremental Typechecking for Class Upgrades. 235-259 - Donna Malayeri, Jonathan Aldrich

:
Integrating Nominal and Structural Subtyping. 260-284 - Anders Hessellund, Peter Sestoft:

Flow Analysis of Code Customizations. 285-308
Session V
- Chengliang Zhang, Martin Hirzel:

Online Phase-Adaptive Data Layout Selection. 309-334 - Sunil Soman, Chandra Krintz, Laurent Daynès:

MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments. 335-361 - Charles Zhang, Hans-Arno Jacobsen:

Externalizing Java Server Concurrency with CAL. 362-386
Session VI
- Anindya Banerjee, David A. Naumann

, Stan Rosenberg:
Regional Logic for Local Reasoning about Global Invariants. 387-411 - Sophia Drossopoulou, Adrian Francalanza

, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. 412-437 - Achim D. Brucker

, Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models. 438-462
Session VII
- Krzysztof Ostrowski, Ken Birman

, Danny Dolev, Jong Hoon Ahnn:
Programming with Live Distributed Objects. 463-489 - Brian Demsky, Alokika Dash:

Bristlecone: A Language for Robust Software Systems. 490-515 - Raymond Hu

, Nobuko Yoshida
, Kohei Honda:
Session-Based Distributed Programming in Java. 516-541
Session VIII
- Shay Artzi, Sunghun Kim, Michael D. Ernst:

ReCrash: Making Software Failures Reproducible by Preserving Object States. 542-565 - Brian Chin, Todd D. Millstein:

An Extensible State Machine Pattern for Interactive Applications. 566-591 - Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz

:
Practical Object-Oriented Back-in-Time Debugging. 592-615
Session IX
- Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst:

Inference of Reference Immutability. 616-641 - Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin:

Computing Stack Maps with Interfaces. 642-666 - Ewan D. Tempero, James Noble

, Hayden Melton:
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. 667-691

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














