Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2010

ECOOP 2010 -- Object-Oriented Programming

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

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)

Conference series link(s): ECOOP: European Conference on Object-Oriented Programming

Conference proceedings info: ECOOP 2010.

Sections

Buy it now

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

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

Table of contents (27 papers)

  1. Front Matter

    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

Back to top

Keywords

Back to top

Editors and Affiliations

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

    Theo D’Hondt

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation