ECOOP A

29 papers

YearTitle / Authors
2008A Model for Java with Wildcards.
Nicholas Cameron, Sophia Drossopoulou, Erik Ernst
2008A Unified Framework for Verification Techniques for Object Invariants.
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
2008A Uniform Transactional Execution Environment for Java.
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan
2008An Extensible State Machine Pattern for Interactive Applications.
Brian Chin, Todd D. Millstein
2008Assessing the Impact of Aspects on Exception Flows: An Exploratory Study.
Roberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena
2008Bristlecone: A Language for Robust Software Systems.
Brian Demsky, Alokika Dash
2008Computing Stack Maps with Interfaces.
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
2008ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings
Jan Vitek
2008Extensible Universes for Object-Oriented Data Models.
Achim D. Brucker, Burkhart Wolff
2008Externalizing Java Server Concurrency with CAL.
Charles Zhang, Hans-Arno Jacobsen
2008Flow Analysis of Code Customizations.
Anders Hessellund, Peter Sestoft
2008How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software.
Ewan D. Tempero, James Noble, Hayden Melton
2008Inference of Reference Immutability.
Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst
2008Integrating Nominal and Structural Subtyping.
Donna Malayeri, Jonathan Aldrich
2008Kilim: Isolation-Typed Actors for Java.
Sriram Srinivasan, Alan Mycroft
2008Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary.
Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah
2008MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments.
Sunil Soman, Chandra Krintz, Laurent Daynès
2008On Validity of Program Transformations in the Java Memory Model.
Jaroslav Sevcík, David Aspinall
2008Online Phase-Adaptive Data Layout Selection.
Chengliang Zhang, Martin Hirzel
2008Practical Object-Oriented Back-in-Time Debugging.
Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz
2008Programming with Live Distributed Objects.
Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn
2008Prototyping and Composing Aspect Languages.
Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit
2008Ptolemy: A Language with Quantified, Typed Events.
Hridesh Rajan, Gary T. Leavens
2008ReCrash: Making Software Failures Reproducible by Preserving Object States.
Shay Artzi, Sunghun Kim, Michael D. Ernst
2008Regional Logic for Local Reasoning about Global Invariants.
Anindya Banerjee, David A. Naumann, Stan Rosenberg
2008Safe Cross-Language Inheritance.
Kathryn E. Gray
2008Session-Based Distributed Programming in Java.
Raymond Hu, Nobuko Yoshida, Kohei Honda
2008The Return of Transactions.
Rachid Guerraoui
2008UpgradeJ: Incremental Typechecking for Class Upgrades.
Gavin M. Bierman, Matthew J. Parkinson, James Noble