default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th ECOOP 2010: Maribor, Slovenia
- Theo D'Hondt:
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
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.
last updated on 2025-04-04 23:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
