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
  9. Static Analysis and Abstract Interpretation II

    1. Helmut Seidl, Andrea Flexeder, Michael Petter
      Pages 284-299
    2. Thomas Gawlitza, Helmut Seidl
      Pages 300-315
  10. Semantic Theories for Object Oriented Languages

    1. Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
      Pages 316-330
    2. Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
      Pages 331-346
    3. C. Haack, E. Poll, J. Schäfer, A. Schubert
      Pages 347-362
  11. Process Algebraic Techniques

    1. Yuxin Deng, Rob van Glabbeek, Carroll Morgan, Chenyi Zhang
      Pages 363-378
    2. Ichiro Hasuo, Yoshinobu Kawabe
      Pages 379-394
    3. Adrian Francalanza, Matthew Hennessy
      Pages 395-410
  12. Applicative Programming

    1. George Kuan, David MacQueen, Robert Bruce Findler
      Pages 426-440
    2. Derek Dreyer, Matthias Blume
      Pages 441-457
    3. Umut A. Acar, Matthias Blume, Jacob Donham
      Pages 458-474
    4. Robert Ennals, David Gay
      Pages 475-489
  13. Types for Systems Properties

    1. Kenneth Knowles, Cormac Flanagan
      Pages 505-519
    2. Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C. Necula
      Pages 520-535
  14. Back Matter

About these proceedings


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-71314-2
  • Online ISBN 978-3-540-71316-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences