ECOOP 2010 – Object-Oriented Programming

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

  • Theo D’Hondt

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

Table of contents

  1. Front Matter
  2. Keynote 1

    1. Doug Lea
      Pages 1-1
  3. Programming Environments and Tools

    1. Martin Monperrus, Marcel Bruch, Mira Mezini
      Pages 2-25
    2. Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha
      Pages 26-51
    3. Felienne Hermans, Martin Pinzger, Arie van Deursen
      Pages 52-75
  4. Theoretical Foundations of Programming Languages

    1. Gavin Bierman, Erik Meijer, Mads Torgersen
      Pages 76-100
    2. Bruno De Fraine, Erik Ernst, Mario Südholt
      Pages 101-125
    3. Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
      Pages 126-150
  5. Formal Methods

    1. Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
      Pages 151-174
    2. Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 175-199
    3. Phillip Heidegger, Peter Thiemann
      Pages 200-224
  6. Concurrency Models in Java

    1. Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
      Pages 225-249
    2. David Harel, Assaf Marron, Gera Weiss
      Pages 250-274
    3. Jan Schäfer, Arnd Poetzsch-Heffter
      Pages 275-299
  7. Special Session: Empirical Methods

  8. Type Systems

    1. Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
      Pages 304-328
    2. Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
      Pages 329-353
    3. Philipp Haller, Martin Odersky
      Pages 354-378
  9. Keynote 2

    1. Erik Ernst
      Pages 379-379
  10. Language Design and Implementation

    1. Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
      Pages 380-404

About these proceedings

Keywords

A-Calculus Action Java Java programming JcoBox automatic programming concurrency models debugging design model-driven SE modeling object-oriented languages programming programming language scripting languages

Editors and affiliations

  • Theo D’Hondt
    • 1
  1. 1.Software Languages LabVrije Universiteit BrusselBrusselsBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14107-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14106-5
  • Online ISBN 978-3-642-14107-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book