8. ESOP 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

Invited Paper

• Paul Hudak:
  Functional Reactive Programming (Abstract). 1
  

Regular Contributions

• Michael Benedikt, Thomas W. Reps, Shmuel Sagiv:
  A Decidable Logic for Describing Linked Data Structures. 2-19
  
• Flemming Nielson, Hanne Riis Nielson:
  Interprocedural Control Flow Analysis. 20-39
  
• Andrei Sabelfeld, David Sands:
  A Per Model of Secure Information Flow in Sequential Programs. 40-58
  
• Andy King, Jan-Georg Smaus, Patricia M. Hill:
  Quotienting Share for Dependency Analysis. 59-73
  
• Simon J. Gay, Malcolm Hole:
  Types and Subtypes for Client-Server Interactions. 74-90
  
• Cormac Flanagan, Martín Abadi:
  Types for Safe Locking. 91-108
  
• Gilles Barthe, Maria João Frade:
  Constructor Subtyping. 109-127
  
• Valery Trifonov, Zhong Shao:
  Safe and Principled Language Interoperation. 128-146
  
• Michael Norrish:
  Deterministic Expressions in C. 147-161
  
• Arnd Poetzsch-Heffter, Peter Müller:
  A Programming Logic for Sequential Java. 162-176
  
• Andreas Podelski, Witold Charatonik, Martin Müller:
  Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. 177-192
  
• Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
  An Idealized MetaML: Simpler, and More Expressive. 193-207
  
• Alan Mycroft:
  Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). 208-223
  
• Olivier Danvy, Zhe Yang:
  An Operational Investigation of the CPS Hierarchy. 224-242
  
• Peter Thiemann:
  Higher-Order Code Splicing. 243-257
  
• Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen:
  Expressing Structural Properties as Language Constructs. 258-272
  
• Patrik Jansson, Johan Jeuring:
  Polytypic Compact Printing and Parsing. 273-287
  
• Yanhong A. Liu, Scott D. Stoller:
  Dynamic Programming via Static Incrementalization. 288-305