Abstract is missing.
- Code RootsDoug Lea. 1 [doi]
- Detecting Missing Method Calls in Object-Oriented SoftwareMartin Monperrus, Marcel Bruch, Mira Mezini. 2-25 [doi]
- Debugging Model-Transformation Failures Using Dynamic TaintingPankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha. 26-51 [doi]
- Automatically Extracting Class Diagrams from SpreadsheetsFelienne Hermans, Martin Pinzger, Arie van Deursen. 52-75 [doi]
- Adding Dynamic Types to C:::#:::Gavin M. Bierman, Erik Meijer, Mads Torgersen. 76-100 [doi]
- Essential AOP: The A CalculusBruno De Fraine, Erik Ernst, Mario Südholt. 101-125 [doi]
- The Essence of JavaScriptArjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi. 126-150 [doi]
- Verifying Executable Object-Oriented Specifications with Separation LogicStephan van Staden, Cristiano Calcagno, Bertrand Meyer. 151-174 [doi]
- Verifying Generics and DelegatesKasper Svendsen, Lars Birkedal, Matthew J. Parkinson. 175-199 [doi]
- Recency Types for Analyzing Scripting LanguagesPhillip Heidegger, Peter Thiemann. 200-224 [doi]
- Correct Refactoring of Concurrent Java CodeMax Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip. 225-249 [doi]
- Programming Coordinated Behavior in JavaDavid Harel, Assaf Marron, Gera Weiss. 250-274 [doi]
- JCoBox: Generalizing Active Objects to Concurrent ComponentsJan Schäfer, Arnd Poetzsch-Heffter. 275-299 [doi]
- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical StudyStefan Hanenberg. 300-303 [doi]
- A Type System for Data-Centric SynchronizationMandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek. 304-328 [doi]
- Type-Safe Eventful Sessions in JavaRaymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda. 329-353 [doi]
- Capabilities for Uniqueness and BorrowingPhilipp Haller, Martin Odersky. 354-378 [doi]
- Secret ValleyErik Ernst. 379 [doi]
- Embedding Languages without Breaking ToolsLukas Renggli, Tudor Gîrba, Oscar Nierstrasz. 380-404 [doi]
- Modules as Objects in NewspeakGilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda. 405-428 [doi]
- Inline Caching Meets QuickeningStefan Brunthaler. 429-451 [doi]
- Self-Replicating Objects for Multicore PlatformsKrzysztof Ostrowski, Chuck Sakoda, Ken Birman. 452-477 [doi]
- Reasoning about the Implementation of Concurrency Abstractions on x86-TSOScott Owens. 478-503 [doi]
- Concurrent Abstract PredicatesThomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis. 504-528 [doi]
- The Use of Overloading in Java ProgramsJoseph Gil, Keren Lenz. 529-551 [doi]
- Falling Back on Executable SpecificationsHesam Samimi, Ei Darli Aung, Todd D. Millstein. 552-576 [doi]
- Contract-Based Data Structure Repair Using AlloyRazieh Nokhbeh Zaeem, Sarfraz Khurshid. 577-598 [doi]