8. ESOP 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)
S. Doaitse Swierstra (Ed.):
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.
Lecture Notes in Computer Science 1576 Springer 1999, ISBN 3-540-65699-5 
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
Last update Sat May 25 02:50:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
