Programming Languages and Systems

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

  • David Sands
Conference proceedings ESOP 2001

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Luca Cardelli, Giorgio Ghelli
    Pages 1-22
  3. François Pottier, Christian Skalka, Scott Smith
    Pages 30-45
  4. Steve Zdancewic, Andrew C. Myers
    Pages 46-61
  5. Stephanie Weirich
    Pages 92-106
  6. Roland Backhouse
    Pages 107-121
  7. Paul Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
    Pages 122-136
  8. Francesco Ranzato
    Pages 137-154
  9. Michael Huth, Radha Jagadeesan, David Schmidt
    Pages 155-169
  10. Zhendong Su, Alexander Aiken
    Pages 170-189
  11. Markus Müller-Olm, Oliver Rüthing
    Pages 190-205
  12. Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-Geertsen
    Pages 206-220
  13. Sylvain Conchon, François Pottier
    Pages 221-236
  14. Pascal Cuoq, Marc Pouzet
    Pages 237-251
  15. Flemming Nielson, Helmut Seidl
    Pages 252-268
  16. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simão Melo de Sousa
    Pages 302-319
  17. John Clements, Matthew Flatt, Matthias Felleisen
    Pages 320-334
  18. Zhichen Xu, Thomas Reps, Barton P. Miller
    Pages 335-351
  19. Shin-ya Katsumata, Atsushi Ohori
    Pages 352-366
  20. Raghavan Komondoor, Susan Horwitz
    Pages 383-386
  21. Marco Cadoli1, Andrea Schaerf
    Pages 387-401
  22. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
    Pages 402-416
  23. Samir Genaim, Michael Codish
    Pages 417-431
  24. Back Matter
    Pages 433-433

About these proceedings


ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Computer Languages Formal Languages Language Implementation Program Semantics Programming Language Design Programming Languages Programming Systems Programming Theory Specification logic object-oriented programming programming programming language

Editors and affiliations

  • David Sands
    • 1
  1. 1.Department of Computing ScienceChalmers University of Technology and Göteborg UniversityGöteborgSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41862-7
  • Online ISBN 978-3-540-45309-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site