Cover Image

Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 8th European Symposium on Programming, ESOP'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 18 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Among the to...

Full description

Bibliographic Details
Corporate Authors: European Symposium on Programming Amsterdam, Netherlands, SpringerLink (Online service), ETAPS (Conference)
Other Authors: Swierstra, S. Doaitse (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, [1999]
Series:Lecture notes in computer science ; 1576.
Subjects:
Computer programming > Congresses.
Programming languages (Electronic computers) > Congresses.
Computer programming.
Programming languages (Electronic computers)
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Invited Paper
  • Functional Reactive Programming / Paul Hudak
  • Regular Contributions
  • A Decidable Logic for Describing Linked Data Structures / Michael Benedikt, Thomas Reps and Mooly Sagiv
  • Interprocedural Control Flow Analysis / Flemming Nielson and Hanne Riis Nielson
  • A Per Model of Secure Information Flow in Sequential Programs / A. Sabelfeld and D. Sands
  • Quotienting Share for Dependency Analysis / Andy King, Jan-Georg Smaus and Pat Hill
  • Types and Subtypes for Client-Server Interactions / Simon Gay and Malcolm Hole
  • Types for Safe Locking / Cormac Flanagan and Martín Abadi
  • Constructor Subtyping / Gilles Barthe and Maria João Frade
  • Safe and Principled Language Interoperation / Valery Trifonov and Zhong Shao
  • Deterministic Expressions in C / Michael Norrish
  • A Programming Logic for Sequential Java / Arnd Poetzsch-Heffter and Peter Müller
  • Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs / Andreas Podelski, Witold Charatonik and Martin Müller
  • An Idealized MetaML: Simpler, and More Expressive / Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa and Tim Sheard
  • Type-Based Decompilation / Alan Mycroft
  • An Operational Investigation of the CPS Hierarchy / Olivier Danvy and Zhe Yang
  • Higher-Order Code Splicing / Peter Thiemann
  • Expressing Structural Properties as Language Constructs / Shriram Krishnamurthi, Yan-David Erlich and Matthias Felleisen
  • Polytypic Compact Printing and Parsing / Patrik Jansson and Johan Jeuring
  • Dynamic Programming via Static Incrementalization / Yanhong A. Liu and Scott D. Stoller.