Programming Languages and Systems

1. Front Matter

   Pages I-X

   PDF

2. Invited Paper

   1. Functional Reactive Programming

      • Paul Hudak

      Pages 1-1

3. Regular Contributions

   1. A Decidable Logic for Describing Linked Data Structures

      • Michael Benedikt, Thomas Reps, Mooly Sagiv

      Pages 2-19

   2. Interprocedural Control Flow Analysis

      • Flemming Nielson, Hanne Riis Nielson

      Pages 20-39

   3. A Per Model of Secure Information Flow in Sequential Programs

      • Andrei Sabelfeld, David Sands

      Pages 40-58

   4. Quotienting Share for Dependency Analysis

      • Andy King, Jan-Georg Smaus, Pat Hill

      Pages 59-73

   5. Types and Subtypes for Client-Server Interactions

      • Simon Gay, Malcolm Hole

      Pages 74-90

   6. Types for Safe Locking

      • Cormac Flanagan, Martín Abadi

      Pages 91-108

   7. Constructor Subtyping

      • Gilles Barthe, Maria João Frade

      Pages 109-127

   8. Safe and Principled Language Interoperation

      • Valery Trifonov, Zhong Shao

      Pages 128-146

   9. Deterministic Expressions in C

      • Michael Norrish

      Pages 147-161

   10. A Programming Logic for Sequential Java

       • Arnd Poetzsch-Heffter, Peter Müller

       Pages 162-176

   11. Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

       • Andreas Podelski, Witold Charatonik, Martin Müller

       Pages 177-192

   12. An Idealized MetaML: Simpler, and More Expressive

       • Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, Tim Sheard

       Pages 193-207

   13. Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

       • Alan Mycroft

       Pages 208-223

   14. An Operational Investigation of the CPS Hierarchy

       • Olivier Danvy, Zhe Yang

       Pages 224-242

   15. Higher-Order Code Splicing

       • Peter Thiemann

       Pages 243-257

   16. Expressing Structural Properties as Language Constructs?

       • Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen

       Pages 258-272

   17. Polytypic Compact Printing and Parsing

       • Patrik Jansson, Johan Jeuring

       Pages 273-287

   18. Dynamic Programming via Static Incrementalization

       • Yanhong A. Liu, Scott D. Stoller

       Pages 288-305

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.

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

• Department of Computer Science, Utrecht University, Utrecht, The Netherlands

  S. Doaitse Swierstra

Policies and ethics