24. ECOOP 2010: Maribor, Slovenia

Theo D'Hondt (Ed.): ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science 6183 Springer 2010, ISBN 978-3-642-14106-5

Keynote 1

Doug Lea:
Code Roots. 1

Programming Environments and Tools

Martin Monperrus, Marcel Bruch, Mira Mezini:
Detecting Missing Method Calls in Object-Oriented Software. 2-25
Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha:
Debugging Model-Transformation Failures Using Dynamic Tainting. 26-51
Felienne Hermans, Martin Pinzger, Arie van Deursen:
Automatically Extracting Class Diagrams from Spreadsheets. 52-75

Theoretical Foundations of Programming Languages

Gavin M. Bierman, Erik Meijer, Mads Torgersen:
Adding Dynamic Types to C^#. 76-100
Bruno De Fraine, Erik Ernst, Mario Südholt:
Essential AOP: The A Calculus. 101-125
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
The Essence of JavaScript. 126-150

Formal Methods

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Verifying Executable Object-Oriented Specifications with Separation Logic. 151-174
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson:
Verifying Generics and Delegates. 175-199
Phillip Heidegger, Peter Thiemann:
Recency Types for Analyzing Scripting Languages. 200-224

Concurrency Models in Java

Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip:
Correct Refactoring of Concurrent Java Code. 225-249
David Harel, Assaf Marron, Gera Weiss:
Programming Coordinated Behavior in Java. 250-274
Jan Schäfer, Arnd Poetzsch-Heffter:
JCoBox: Generalizing Active Objects to Concurrent Components. 275-299

Special Session: Empirical Methods

Stefan Hanenberg:
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study. 300-303

Type Systems

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek:
A Type System for Data-Centric Synchronization. 304-328
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda:
Type-Safe Eventful Sessions in Java. 329-353
Philipp Haller, Martin Odersky:
Capabilities for Uniqueness and Borrowing. 354-378

Keynote 2

Erik Ernst:
Secret Valley. 379

Language Design and Implementation

Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz:
Embedding Languages without Breaking Tools. 380-404
Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda:
Modules as Objects in Newspeak. 405-428
Stefan Brunthaler:
Inline Caching Meets Quickening. 429-451

Concurrency Abstractions

Krzysztof Ostrowski, Chuck Sakoda, Ken Birman:
Self-Replicating Objects for Multicore Platforms. 452-477
Scott Owens:
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. 478-503
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis:
Concurrent Abstract Predicates. 504-528

Experiences

Joseph Gil, Keren Lenz:
The Use of Overloading in Java Programs. 529-551
Hesam Samimi, Ei Darli Aung, Todd D. Millstein:
Falling Back on Executable Specifications. 552-576
Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Contract-Based Data Structure Repair Using Alloy. 577-598

Last update Thu May 24 04:16:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page