Theo D\'hondt

ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings - Lecture Notes in Computer Science Theo D\'hondt 2010 edition

Marc Notes: Includes bibliographical references and index. Table of Contents: Keynote 1. Code Roots / Doug Lea -- Programming Environments and Tools -- Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus, Marcel Bruch, Mira Mezini -- Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha -- Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans, Martin Pinzger, Arie van Deursen -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C# / Gavin Bierman, Erik Meijer, Mads Torgersen -- Essential AOP: The A Calculus / Bruno De Fraine, Erik Ernst, Mario SUdholt -- The Essence of JavaScript / Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden, Cristiano Calcagno, Bertrand Meyer -- Verifying Generics and Delegates / Kasper Svendsen, Lars Birkedal, Matthew Parkinson -- Recency Types for Analyzing Scripting Languages / Philip Heidegger, Peter Thiemann -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code / Max SchAfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip -- Programming Coordinated Behavior in Java / David Harel, Assaf Marron, Gera Weiss -- JCoBox: Generalizing Active Objects to Concurrent Components / Jan SchAfer, Arnd Poetzsch-Heffter -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg -- Types Systems -- A Type System for Data-Centric Synchronization / Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek -- Type-Safe Eventful Sessions in Java / Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda -- Capabilities for Uniqueness and Borrowing / Philipp Haller, Martin Odersky -- Keynote 2. Secret Valley / Erik Ernest -- Language Design and Implementation -- Embedding Languages without Breaking Tools / Lukas Renggli, Tudor GIrba, Oscar Nierstrasz -- Modules as Objects in Newspeak / Gilad Bracha, Peter von der AhE, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda -- Inline Caching Meets Quickening / Stefan Brunthaler -- Concurrency Abstrations -- Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski, Chuck Sakoda, Ken Birman -- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens -- Concurrent Abstract Predicates / Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis -- Experiences -- The Use of Overloading in Java Programs / Joseph (Yossi) Gil, Keren Lenz -- Falling Back on Executable Specifications / Hesam Samimi, Ei Darli Aung, Todd Millstein -- Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem, Sarfraz Khurshid -- Author Index. Publisher Marketing: constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java.