ECOOP A

28 papers

YearTitle / Authors
2010A Type System for Data-Centric Synchronization.
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
2010Adding Dynamic Types to C
Gavin M. Bierman, Erik Meijer, Mads Torgersen
2010Automatically Extracting Class Diagrams from Spreadsheets.
Felienne Hermans, Martin Pinzger, Arie van Deursen
2010Capabilities for Uniqueness and Borrowing.
Philipp Haller, Martin Odersky
2010Code Roots.
Doug Lea
2010Concurrent Abstract Predicates.
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis
2010Contract-Based Data Structure Repair Using Alloy.
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2010Correct Refactoring of Concurrent Java Code.
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
2010Debugging Model-Transformation Failures Using Dynamic Tainting.
Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha
2010Detecting Missing Method Calls in Object-Oriented Software.
Martin Monperrus, Marcel Bruch, Mira Mezini
2010Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study.
Stefan Hanenberg
2010ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Theo D'Hondt
2010Embedding Languages without Breaking Tools.
Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
2010Essential AOP: The A Calculus.
Bruno De Fraine, Erik Ernst, Mario Südholt
2010Falling Back on Executable Specifications.
Hesam Samimi, Ei Darli Aung, Todd D. Millstein
2010Inline Caching Meets Quickening.
Stefan Brunthaler
2010JCoBox: Generalizing Active Objects to Concurrent Components.
Jan Schäfer, Arnd Poetzsch-Heffter
2010Modules as Objects in Newspeak.
Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda
2010Programming Coordinated Behavior in Java.
David Harel, Assaf Marron, Gera Weiss
2010Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.
Scott Owens
2010Recency Types for Analyzing Scripting Languages.
Phillip Heidegger, Peter Thiemann
2010Secret Valley.
Erik Ernst
2010Self-Replicating Objects for Multicore Platforms.
Krzysztof Ostrowski, Chuck Sakoda, Ken Birman
2010The Essence of JavaScript.
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2010The Use of Overloading in Java Programs.
Joseph Gil, Keren Lenz
2010Type-Safe Eventful Sessions in Java.
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2010Verifying Executable Object-Oriented Specifications with Separation Logic.
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
2010Verifying Generics and Delegates.
Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson