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

  • Editors
  • Rocco De Nicola
Conference proceedings ESOP 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4421)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Models and Languages for Web Services

    1. Marco Carbone, Kohei Honda, Nobuko Yoshida
      Pages 2-17
    2. Maria Grazia Buscemi, Ugo Montanari
      Pages 18-32
    3. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
      Pages 33-47
    4. Lucia Acciai, Michele Boreale, Silvano Dal Zilio
      Pages 48-63
  4. Verification

    1. Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
      Pages 64-79
    2. K. Rustan M. Leino, Wolfram Schulte
      Pages 80-94
  5. Term Rewriting

    1. Frédéric Blanqui, Thérèse Hardin, Pierre Weis
      Pages 95-109
    2. Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
      Pages 110-124
  6. Language Based Security

    1. Gilles Barthe, David Pichardie, Tamara Rezk
      Pages 125-140
    2. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini
      Pages 157-172
  7. Logics and Correctness Proofs

    1. Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
      Pages 189-204
    2. Guodong Li, Scott Owens, Konrad Slind
      Pages 205-219
  8. Static Analysis and Abstract Interpretation I

    1. N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, E. Yahav
      Pages 220-236
    2. Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
      Pages 237-252
    3. Sumit Gulwani, Ashish Tiwari
      Pages 253-267
    4. Frédéric Besson, Thomas Jensen, Tiphaine Turpin
      Pages 268-283

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-71316-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71314-2
  • Online ISBN 978-3-540-71316-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book