Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

  • Peter Thiemann
Conference proceedings ESOP 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9632)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Rajeev Alur, Dana Fisman, Mukund Raghothaman
    Pages 15-40
  3. Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
    Pages 41-67
  4. Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
    Pages 68-94
  5. Emile Bres, Rob van Glabbeek, Peter Höfner
    Pages 95-122
  6. Jacques Carette, Amr Sabry
    Pages 123-148
  7. Emanuele D’Osualdo, C.-H. Luke Ong
    Pages 149-175
  8. Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
    Pages 176-201
  9. Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed
    Pages 229-254
  10. Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian
    Pages 255-281
  11. Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
    Pages 282-309
  12. Tony Garnock-Jones, Matthias Felleisen
    Pages 310-336
  13. Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
    Pages 364-389
  14. Steven Keuchel, Stephanie Weirich, Tom Schrijvers
    Pages 419-445
  15. Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
    Pages 446-475
  16. Gregory Malecha, Jesper Bengtson
    Pages 532-559
  17. Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan
    Pages 589-615
  18. Pierre-Marie Pédrot, Alexis Saurin
    Pages 616-643
  19. Christopher Schuster, Tim Disney, Cormac Flanagan
    Pages 644-671
  20. Alexander J. Summers, Peter Müller
    Pages 699-726
  21. Kasper Svendsen, Filip Sieczkowski, Lars Birkedal
    Pages 727-751
  22. Johannes Åman Pohjola, Joachim Parrow
    Pages 780-803
  23. Back Matter
    Pages 805-806

About these proceedings


This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances. 


Formal language definitions Higher-order logic Logic and verification Program verification Semantics and reasoning Classical logic Compilers Context-specific languages Cryptography Functional programming Language features Linear logic Models of computation Parametricity Probabilistic programs Program analysis Programming languages Separation logic Simulation Software architecture

Editors and affiliations

  • Peter Thiemann
    • 1
  1. 1.Institut für InformatikAlbert-Ludwigs-Universität FreiburgFreiburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-49497-4
  • Online ISBN 978-3-662-49498-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences