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
Conference proceedings ESOP 2017

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
  19. Aina Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka
    Pages 530-555
  20. Jeremy Gibbons
    Pages 556-583
  21. Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish
    Pages 584-610
  22. Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
    Pages 611-638
  23. Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew Parkinson
    Pages 639-667
  24. Cynthia Kop, Jakob Grue Simonsen
    Pages 668-695
  25. Robbert Krebbers, Ralf Jung, Aleš Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal
    Pages 696-723
  26. Ondřej Kunčar, Andrei Popescu
    Pages 724-749
  27. Martin Leinberger, Ralf Lämmel, Steffen Staab
    Pages 750-776
  28. Luca Padovani
    Pages 804-830
  29. Ryosuke Sato, Naoki Kobayashi
    Pages 831-854
  30. Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang
    Pages 880-908
  31. Joseph Tassarotti, Ralf Jung, Robert Harper
    Pages 909-936
  32. Tim Wood, Sophia Drossopolou, Shuvendu K. Lahiri, Susan Eisenbach
    Pages 937-963
  33. Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner
    Pages 964-990
  34. Back Matter
    Pages 991-992

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 Computer Science (R0)
  • Print ISBN 978-3-662-54433-4
  • Online ISBN 978-3-662-54434-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