ECOOP 2003 – Object-Oriented Programming

17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

  • Luca Cardelli
Conference proceedings ECOOP 2003
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2743)

Table of contents

  1. Front Matter
  2. Invited Talk 1

    1. Martín Abadi
      Pages 1-1
  3. Aspects and Components

    1. Hidehiko Masuhara, Gregor Kiczales
      Pages 2-28
    2. Andrei Popovici, Gustavo Alonso, Thomas Gross
      Pages 29-53
    3. Radha Jagadeesan, Alan Jeffrey, James Riely
      Pages 54-73
  4. Patterns, Architecture, and Collaboration

    1. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
      Pages 74-102
    2. Christian Grothoff
      Pages 103-125
    3. Liuba Shrira, Hong Tian
      Pages 126-150
  5. Types

    1. Vladimir Gapeyev, Benjamin C. Pierce
      Pages 151-175
    2. Dave Clarke, Tobias Wrigstad
      Pages 176-200
    3. Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
      Pages 201-224
  6. Invited Talk 2

    1. Carl A. Gunter
      Pages 225-247
  7. Modeling

    1. Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew P. Black
      Pages 248-274
    2. Erik Ernst
      Pages 303-328
  8. Algorithms, Optimization and Runtimes

    1. Yoav Zibin, Joseph (Yossi) Gil
      Pages 329-350
    2. Krzysztof Palacz, Jan Vitek
      Pages 378-404
  9. Invited Talk 3

    1. Mary Fernández, Jérôme Siméon
      Pages 405-430
  10. Formal Techniques and Methodology

    1. Johannes Henkel, Amer Diwan
      Pages 431-456

Other volumes

  1. ECOOP 2003 – Object-Oriented Programming
    17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  2. ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports

About these proceedings

Keywords

Java Java programming Unified Modeling Language (UML) algorithm algorithms component systems modeling object security object technology object-oriented programming optimization programming software architecture software patterns types

Editors and affiliations

  • Luca Cardelli
    • 1
  1. 1.Microsoft Research 

Bibliographic information

  • DOI https://doi.org/10.1007/b11832
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40531-3
  • Online ISBN 978-3-540-45070-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book