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

@proceedings{DBLP:conf/esop/1999,
  editor    = {S. Doaitse Swierstra},
  title     = {Programming Languages and Systems, 8th European Symposium on
               Programming, ESOP'99, Held as Part of the European Joint Conferences
               on the Theory and Practice of Software, ETAPS'99, Amsterdam,
               The Netherlands, 22-28 March, 1999, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1576},
  year      = {1999},
  isbn      = {3-540-65699-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

• Paul Hudak:
  Functional Reactive Programming (Abstract). 1
  Electronic Edition (Springer LINK) BibTeX

Regular Contributions

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