Skip to main content
SpringerLink
Log in

Programming Languages and Systems

12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Pierpaolo Degano

    1. Dipartimento di Informatica, Università di Pisa, Pisa, Italy

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

Included in the following conference series:

Conference proceedings info: ESOP 2003.

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

Table of contents (27 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  3. Contributed Papers

    1. A Tail-Recursive Semantics for Stack Inspections

      • John Clements, Matthias Felleisen
      Pages 22-37

    2. Flexible Models for Dynamic Linking

      • Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
      Pages 38-53

    3. Correction of Functional Logic Programs

      • Maria Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
      Pages 54-68

    4. Approximate Pruning in Tabled Logic Programming

      • Luís F. Castro, David S. Warren
      Pages 69-83

    5. Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

      • Samir Genaim, Andy King
      Pages 84-98

    6. Security Properties: Two Agents Are Sufficient

      • Hubert Comon-Lundh, Véronique Cortier
      Pages 99-113

    7. A Simple Language for Real-Time Cryptographic Protocol Analysis

      • Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
      Pages 114-128

    8. Rule Formats for Non Interference

      • Simone Tini
      Pages 129-143

    9. On the Secure Implementation of Security Protocols

      • Pablo Giambiagi, Mads Dam
      Pages 144-158

    10. Handling Encryption in an Analysis for Secure Information Flow

      • Peeter Laud
      Pages 159-173

    11. Using Controller-Synthesis Techniques to Build Property-Enforcing Layers

      • Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten
      Pages 174-188

    12. Automatic Software Model Checking Using CLP

      • Cormac Flanagan
      Pages 189-203

    13. Verifying Temporal Heap Properties Specified via Evolution Logic

      • Eran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm
      Pages 204-222

    14. Correctness of Data Representations Involving Heap Data Structures

      • Uday S. Reddy, Hongseok Yang
      Pages 223-237

    15. Modeling Web Interactions

      • Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
      Pages 238-252

    16. Type Inference for a Distributed π-Calculus

      • Cédric Lhoussaine
      Pages 253-268

    17. Type-Safe Update Programming

      • Martin Erwig, Deling Ren
      Pages 269-283
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

 

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Editors and Affiliations

  • Dipartimento di Informatica, Università di Pisa, Pisa, Italy

    Pierpaolo Degano

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation