Programming Languages and Systems

8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

  • S. Doaitse Swierstra
Conference proceedings ESOP 1999

DOI: 10.1007/3-540-49099-X

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Paper

  3. Regular Contributions

    1. Michael Benedikt, Thomas Reps, Mooly Sagiv
      Pages 2-19
    2. Flemming Nielson, Hanne Riis Nielson
      Pages 20-39
    3. Andrei Sabelfeld, David Sands
      Pages 40-58
    4. Andy King, Jan-Georg Smaus, Pat Hill
      Pages 59-73
    5. Simon Gay, Malcolm Hole
      Pages 74-90
    6. Cormac Flanagan, Martín Abadi
      Pages 91-108
    7. Gilles Barthe, Maria João Frade
      Pages 109-127
    8. Valery Trifonov, Zhong Shao
      Pages 128-146
    9. Michael Norrish
      Pages 147-161
    10. Arnd Poetzsch-Heffter, Peter Müller
      Pages 162-176
    11. Andreas Podelski, Witold Charatonik, Martin Müller
      Pages 177-192
    12. Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, Tim Sheard
      Pages 193-207
    13. Olivier Danvy, Zhe Yang
      Pages 224-242
    14. Peter Thiemann
      Pages 243-257
    15. Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
      Pages 258-272
    16. Patrik Jansson, Johan Jeuring
      Pages 273-287
    17. Yanhong A. Liu, Scott D. Stoller
      Pages 288-305

About these proceedings

Introduction

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.

Keywords

C programming language Constraint Java data structure data structures programming programming language

Editors and affiliations

  • S. Doaitse Swierstra
    • 1
  1. 1.Department of Computer ScienceUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65699-9
  • Online ISBN 978-3-540-49099-9
  • Series Print ISSN 0302-9743