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.

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-71316-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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

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

Keywords

  • Web Services
  • computer languages
  • formal languages
  • language implementation
  • object
  • process algebra
  • program logics
  • programming
  • programming calculi
  • programming language
  • programming languages
  • programming theory
  • software security
  • statist
  • verification
  • data structures

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-71316-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)