ISBN: 3-540-65699-5
TITLE: Programming Languages and Systems
AUTHOR: Swierstra, S. Doaitse (Ed.)
TOC:

Invited Paper
Functional Reactive Programming 1
Paul Hudak
Regular Contributions
A Decidable Logic for Describing Linked Data Structures 2
Michael Benedikt, Thomas Reps and Mooly Sagiv
Interprocedural Control Flow Analysis 20
Flemming Nielson and Hanne Riis Nielson
A Per Model of Secure Information Flow in Sequential Programs 40
A. Sabelfeld and D. Sands
Quotienting Share for Dependency Analysis 59
Andy King, Jan-Georg Smaus and Pat Hill
Types and Subtypes for Client-Server Interactions 74
Simon Gay and Malcolm Hole
Types for Safe Locking 91
Cormac Flanagan and Martn Abadi
Constructor Subtyping 109
Gilles Barthe and Maria Joo Frade
Safe and Principled Language Interoperation 128
Valery Trifonov and Zhong Shao
Deterministic Expressions in C 147
Michael Norrish
A Programming Logic for Sequential Java 162
Arnd Poetzsch-Heffter and Peter Mller
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs 177
Andreas Podelski, Witold Charatonik and Martin Mller
An Idealized MetaML Simpler, and More Expressive 193
Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa and Tim Sheard
Type-Based Decompilation 208
Alan Mycroft
An Operational Investigation of the CPS Hierarchy 224
Olivier Danvy and Zhe Yang
Higher-Order Code Splicing 243
Peter Thiemann
Expressing Structural Properties as Language Constructs 258
Shriram Krishnamurthi, Yan-David Erlich and Matthias Felleisen
Polytypic Compact Printing and Parsing 273
Patrik Jansson and Johan Jeuring
Dynamic Programming via Static Incrementalization 288
Yanhong A. Liu and Scott D. Stoller
Author Index 307
