Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

  • Hongseok Yang

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi
    Pages 1-28
  3. Davide Ancona, Francesco Dagnino, Elena Zucca
    Pages 29-55
  4. Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
    Pages 83-110
  5. Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
    Pages 111-140
  6. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński, Fabio Zanasi
    Pages 141-169
  7. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
    Pages 170-200
  8. Pierre Boutillier, Thomas Ehrhard, Jean Krivine
    Pages 201-228
  9. Luís Caires, Jorge A. Pérez
    Pages 229-259
  10. Arthur Charguéraud, François Pottier
    Pages 260-286
  11. Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
    Pages 287-313
  12. Conrad Cotton-Barratt, Andrzej S. Murawski, C. -H. Luke Ong
    Pages 314-340
  13. Raphaëlle Crubillé, Ugo Dal Lago
    Pages 341-367
  14. Ugo Dal Lago, Charles Grellois
    Pages 393-419
  15. Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal
    Pages 420-447
  16. Marko Doko, Viktor Vafeiadis
    Pages 448-475
  17. Joshua Dunfield
    Pages 476-503
  18. Francisco Ferreira, Brigitte Pientka
    Pages 504-529

About these proceedings


This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. 


software engineering computer software selection and evaluation verification specifications semantics computer programming languages program compilers type systems functional programming separation logic formal logic concurrency program logic automated reasoning proof theory context specification languages

Editors and affiliations

  • Hongseok Yang
    • 1
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Germany 2017
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-54433-4
  • Online ISBN 978-3-662-54434-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book