Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. S. Doaitse Swierstra

    1. Department of Computer Science, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1576)

Included in the following conference series:

Conference proceedings info: ESOP 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.

Keywords

Table of contents (19 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Paper

    1. Functional Reactive Programming

      • Paul Hudak
      Pages 1-1

  3. Regular Contributions

    1. A Decidable Logic for Describing Linked Data Structures

      • Michael Benedikt, Thomas Reps, Mooly Sagiv
      Pages 2-19

    2. Interprocedural Control Flow Analysis

      • Flemming Nielson, Hanne Riis Nielson
      Pages 20-39

    3. A Per Model of Secure Information Flow in Sequential Programs

      • Andrei Sabelfeld, David Sands
      Pages 40-58

    4. Quotienting Share for Dependency Analysis

      • Andy King, Jan-Georg Smaus, Pat Hill
      Pages 59-73

    5. Types and Subtypes for Client-Server Interactions

      • Simon Gay, Malcolm Hole
      Pages 74-90

    6. Types for Safe Locking

      • Cormac Flanagan, Martín Abadi
      Pages 91-108

    7. Constructor Subtyping

      • Gilles Barthe, Maria João Frade
      Pages 109-127

    8. Safe and Principled Language Interoperation

      • Valery Trifonov, Zhong Shao
      Pages 128-146

    9. Deterministic Expressions in C

      • Michael Norrish
      Pages 147-161

    10. A Programming Logic for Sequential Java

      • Arnd Poetzsch-Heffter, Peter Müller
      Pages 162-176

    11. Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

      • Andreas Podelski, Witold Charatonik, Martin Müller
      Pages 177-192

    12. An Idealized MetaML: Simpler, and More Expressive

      • Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, Tim Sheard
      Pages 193-207

    13. Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)

      • Alan Mycroft
      Pages 208-223

    14. An Operational Investigation of the CPS Hierarchy

      • Olivier Danvy, Zhe Yang
      Pages 224-242

    15. Higher-Order Code Splicing

      • Peter Thiemann
      Pages 243-257

    16. Expressing Structural Properties as Language Constructs?

      • Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
      Pages 258-272

    17. Polytypic Compact Printing and Parsing

      • Patrik Jansson, Johan Jeuring
      Pages 273-287

    18. Dynamic Programming via Static Incrementalization

      • Yanhong A. Liu, Scott D. Stoller
      Pages 288-305
Back to top

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Department of Computer Science, Utrecht University, Utrecht, The Netherlands

    S. Doaitse Swierstra

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation