Skip to main content
  • Conference proceedings
  • © 2007

Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

Editors:

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2007.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

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

Table of contents (35 papers)

  1. Front Matter

  2. Models and Languages for Web Services

    1. Structured Communication-Centred Programming for Web Services

      • Marco Carbone, Kohei Honda, Nobuko Yoshida
      Pages 2-17
    2. CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

      • Maria Grazia Buscemi, Ugo Montanari
      Pages 18-32
    3. A Calculus for Orchestration of Web Services

      • Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
      Pages 33-47
    4. A Concurrent Calculus with Atomic Transactions

      • Lucia Acciai, Michele Boreale, Silvano Dal Zilio
      Pages 48-63
  3. Verification

    1. Modal I/O Automata for Interface and Product Line Theories

      • Kim G. Larsen, Ulrik Nyman, Andrzej WÄ…sowski
      Pages 64-79
    2. Using History Invariants to Verify Observers

      • K. Rustan M. Leino, Wolfram Schulte
      Pages 80-94
  4. Term Rewriting

    1. On the Implementation of Construction Functions for Non-free Concrete Data Types

      • Frédéric Blanqui, Thérèse Hardin, Pierre Weis
      Pages 95-109
    2. Anti-pattern Matching

      • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
      Pages 110-124
  5. Language Based Security

    1. A Certified Lightweight Non-interference Java Bytecode Verifier

      • Gilles Barthe, David Pichardie, Tamara Rezk
      Pages 125-140
    2. Cost Analysis of Java Bytecode

      • E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini
      Pages 157-172
  6. Logics and Correctness Proofs

    1. Abstract Predicates and Mutable ADTs in Hoare Type Theory

      • Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
      Pages 189-204
    2. Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic

      • Guodong Li, Scott Owens, Konrad Slind
      Pages 205-219
  7. Static Analysis and Abstract Interpretation I

    1. Modular Shape Analysis for Dynamically Encapsulated Programs

      • N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, E. Yahav
      Pages 220-236
    2. Static Analysis by Policy Iteration on Relational Domains

      • Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
      Pages 237-252
    3. Computing Procedure Summaries for Interprocedural Analysis

      • Sumit Gulwani, Ashish Tiwari
      Pages 253-267
    4. Small Witnesses for Abstract Interpretation-Based Proofs

      • Frédéric Besson, Thomas Jensen, Tiphaine Turpin
      Pages 268-283

Other Volumes

  1. Programming Languages and Systems

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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