Advertisement

Programming Languages and Systems

17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

  • Editors
  • Sophia Drossopoulou
Conference proceedings ESOP 2008

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

Table of contents

  1. Front Matter
  2. Semantics, Parametricity, and Types

  3. Semantics

    1. David Herman, Mitchell Wand
      Pages 48-62
    2. Olivier Bouissou, Matthieu Martel
      Pages 63-77
    3. Cinzia Di Giusto, Maurizio Gabbrielli
      Pages 78-92
    4. Adam Poswolsky, Carsten Schürmann
      Pages 93-107
  4. Functional and Logic Programming

    1. Louis Mandel, Luc Maranget
      Pages 108-111
    2. Sonia Estévez-Martín, Antonio J. Fernández, Fernando Sáenz-Pérez
      Pages 112-115
    3. Gérard Boudol
      Pages 116-130
    4. Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
      Pages 131-145
  5. ESOP Invited Talk

  6. Static Analysis

    1. Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
      Pages 148-162
    2. Markus Müller-Olm, Helmut Seidl
      Pages 178-192
    3. Sumit Gulwani, Madan Musuvathi
      Pages 193-207
  7. Security I

    1. Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 208-223
    2. Yûta Kaneko, Naoki Kobayashi
      Pages 224-238
  8. Concurrency

    1. Maria Grazia Buscemi, Ugo Montanari
      Pages 254-268
    2. Hugo T. Vieira, Luís Caires, João C. Seco
      Pages 269-283
    3. Tachio Terauchi, Adam Megacz
      Pages 284-298
  9. ETAPS Invited Talk

  10. Program Verification

    1. K. Rustan M. Leino, Peter Müller
      Pages 307-321
    2. Sylvain Conchon, Jean-Christophe Filliâtre
      Pages 322-336
    3. Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett
      Pages 337-352
    4. Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
      Pages 353-367
  11. Security II

    1. Gilles Barthe, César Kunz
      Pages 368-382
    2. Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli
      Pages 383-397
  12. Back Matter

About these proceedings

Keywords

Bisimulation XML algorithm algorithms computer languages data structure formal languages polymorphism process algebra program semantics programming programming calculi programming language design programming theory static

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78739-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78738-9
  • Online ISBN 978-3-540-78739-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site