Skip to main content
SpringerLink
Log in

Programming Languages and Systems

13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. David Schmidt

    1. Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    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 2986)

Included in the following conference series:

Conference proceedings info: ESOP 2004.

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

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.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

Table of contents (28 papers)

  1. Answer Type Polymorphism in Call-by-Name Continuation Passing

    • Hayo Thielecke
    Pages 279-293

  2. System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

    • Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
    Pages 294-309

  3. A Hardest Attacker for Leaking References

    • René Rydhof Hansen
    Pages 310-324

  4. Trust Management in Strand Spaces: A Rely-Guarantee Method

    • Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
    Pages 325-339

  5. Just Fast Keying in the Pi Calculus

    • Martín Abadi, Bruno Blanchet, Cédric Fournet
    Pages 340-354

  6. Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation

    • Vitaly Shmatikov
    Pages 355-369

  7. Functors for Proofs and Programs

    • Jean-Christophe Filliâtre, Pierre Letouzey
    Pages 370-384

  8. Extracting a Data Flow Analyser in Constructive Logic

    • David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
    Pages 385-400

  9. Canonical Graph Shapes

    • Arend Rensink
    Pages 401-415

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the speci?cation, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O’Hearn,titledResources,ConcurrencyandLocalReasoning,andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least three referees, and papers were selected during a ten-day electronic discussion phase. I would like to sincerely thank the members of the Program Committee, as well as their subreferees, for their diligent work; Torben Amtoft, for helping me collect the papers for the proceedings; and Tiziana Margaria, Bernhard Ste?en, and their colleagues at MetaFrame, for the use of their conference management software.

Editors and Affiliations

  • Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    David Schmidt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation