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

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
  • About this book