ESOP 1999

19 papers

1. A Decidable Logic for Describing Linked Data Structures · Michael Benedikt, Thomas W. Reps, Shmuel Sagiv
2. A Per Model of Secure Information Flow in Sequential Programs · Andrei Sabelfeld, David Sands
3. A Programming Logic for Sequential Java · Arnd Poetzsch-Heffter, Peter Müller
4. An Idealized MetaML: Simpler, and More Expressive · Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
5. An Operational Investigation of the CPS Hierarchy · Olivier Danvy, Zhe Yang
6. Constructor Subtyping · Gilles Barthe, Maria João Frade
7. Deterministic Expressions in C · Michael Norrish
8. Dynamic Programming via Static Incrementalization · Yanhong A. Liu, Scott D. Stoller
9. Expressing Structural Properties as Language Constructs · Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
10. Functional Reactive Programming (Abstract) · Paul Hudak
11. Higher-Order Code Splicing · Peter Thiemann
12. Interprocedural Control Flow Analysis · Flemming Nielson, Hanne Riis Nielson
13. Polytypic Compact Printing and Parsing · Patrik Jansson, Johan Jeuring
14. Quotienting Share for Dependency Analysis · Andy King, Jan-Georg Smaus, Patricia M. Hill
15. Safe and Principled Language Interoperation · Valery Trifonov, Zhong Shao
16. Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs · Andreas Podelski, Witold Charatonik, Martin Müller
17. Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) · Alan Mycroft
18. Types and Subtypes for Client-Server Interactions · Simon J. Gay, Malcolm Hole
19. Types for Safe Locking · Cormac Flanagan, Martín Abadi