Skip to main content
SpringerLink
Log in

ECOOP 2010 -- Object-Oriented Programming

24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Theo D’Hondt

    1. Software Languages Lab, Vrije Universiteit Brussel, Brussels, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6183)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ECOOP 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote 1

    1. Code Roots

      • Doug Lea
      Pages 1-1

  3. Programming Environments and Tools

    1. Detecting Missing Method Calls in Object-Oriented Software

      • Martin Monperrus, Marcel Bruch, Mira Mezini
      Pages 2-25

    2. Debugging Model-Transformation Failures Using Dynamic Tainting

      • Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha
      Pages 26-51

    3. Automatically Extracting Class Diagrams from Spreadsheets

      • Felienne Hermans, Martin Pinzger, Arie van Deursen
      Pages 52-75

  4. Theoretical Foundations of Programming Languages

    1. Adding Dynamic Types to C\(^\sharp\)

      • Gavin Bierman, Erik Meijer, Mads Torgersen
      Pages 76-100

    2. Essential AOP: The A Calculus

      • Bruno De Fraine, Erik Ernst, Mario Südholt
      Pages 101-125

    3. The Essence of JavaScript

      • Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
      Pages 126-150

  5. Formal Methods

    1. Verifying Executable Object-Oriented Specifications with Separation Logic

      • Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
      Pages 151-174

    2. Verifying Generics and Delegates

      • Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 175-199

    3. Recency Types for Analyzing Scripting Languages

      • Phillip Heidegger, Peter Thiemann
      Pages 200-224

  6. Concurrency Models in Java

    1. Correct Refactoring of Concurrent Java Code

      • Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
      Pages 225-249

    2. Programming Coordinated Behavior in Java

      • David Harel, Assaf Marron, Gera Weiss
      Pages 250-274

    3. JCoBox: Generalizing Active Objects to Concurrent Components

      • Jan Schäfer, Arnd Poetzsch-Heffter
      Pages 275-299

  8. Type Systems

    1. A Type System for Data-Centric Synchronization

      • Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
      Pages 304-328

    2. Type-Safe Eventful Sessions in Java

      • Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
      Pages 329-353

    3. Capabilities for Uniqueness and Borrowing

      • Philipp Haller, Martin Odersky
      Pages 354-378

  9. Keynote 2

    1. Secret Valley

      • Erik Ernst
      Pages 379-379

  10. Language Design and Implementation

    1. Embedding Languages without Breaking Tools

      • Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
      Pages 380-404
Back to top

Other volumes

  1. ECOOP 2010 – Object-Oriented Programming

Keywords

Editors and Affiliations

  • Software Languages Lab, Vrije Universiteit Brussel, Brussels, Belgium

    Theo D’Hondt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation