Programming Languages and Systems

20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Gilles Barthe
Conference proceedings ESOP 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6602)

Table of contents

  1. Front Matter
  2. Andrew W. Appel
    Pages 1-17
  3. João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
    Pages 18-37
  4. Annette Bieniusa, Peter Thiemann
    Pages 38-56
  5. Viviana Bono, Chiara Messa, Luca Padovani
    Pages 57-76
  6. Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
    Pages 77-96
  7. Jörg Brauer, Andy King
    Pages 97-115
  8. Sebastian Burckhardt, Daan Leijen
    Pages 116-135
  9. Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
    Pages 136-155
  10. Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
    Pages 156-175
  11. Michael A. Colón, Sriram Sankaranarayanan
    Pages 176-195
  12. Arnab De, Deepak D’Souza, Rupesh Nasre
    Pages 196-215
  13. Cédric Fournet, Jérémy Planul
    Pages 216-235
  14. Thomas Martin Gawlitza, David Monniaux
    Pages 236-255
  15. Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
    Pages 256-275
  16. Aquinas Hobor, Cristian Gherghina
    Pages 276-296
  17. Thomas Jensen, Florent Kirchner, David Pichardie
    Pages 317-337
  18. Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
    Pages 338-357
  19. Vasileios Koutavas, Matthew Hennessy
    Pages 358-377

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Keywords

abstract interpretation concurrency dataflow analysis dynamic checking language-based security logic programming object-oriented programming operational semantics parallel programming program transformation program verification programming models programming techniques semantics software implementation static analysis syntactic proof verification

Editors and affiliations

  • Gilles Barthe
    • 1
  1. 1.Facultad de Informatica (UPM)IMDEA SoftwareBoadilla del MonteSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-19718-5
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19717-8
  • Online ISBN 978-3-642-19718-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book