Programming Languages and Systems

24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

  • Jan Vitek

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

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

Table of contents

  1. Front Matter
    Pages 1-12
  2. Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel et al.
    Pages 1-25
  3. Neil Toronto, Jay McCarthy, David Van Horn
    Pages 53-79
  4. Manuel Eberl, Johannes Hölzl, Tobias Nipkow
    Pages 80-104
  5. Pavol Černý, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
    Pages 105-131
  6. Jan Hoffmann, Zhong Shao
    Pages 132-157
  7. Willem Penninckx, Bart Jacobs, Frank Piessens
    Pages 158-182
  8. Cristina David, Daniel Kroening, Matt Lewis
    Pages 183-204
  9. Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
    Pages 205-231
  10. Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
    Pages 232-256
  11. Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
    Pages 283-307
  12. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Tuan-Phong Ngo
    Pages 308-332
  13. Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
    Pages 333-358
  14. Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
    Pages 359-382
  15. Burke Fetscher, Koen Claessen, Michał Pałka, John Hughes, Robert Bruce Findler
    Pages 383-405
  16. Ezgi Çiçek, Deepak Garg, Umut Acar
    Pages 406-431
  17. Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
    Pages 432-456
  18. Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
    Pages 457-482

About these proceedings


This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.


Cloud Computing Collaborative Computing Computer Vision Control Methods Data Management Systems Data Mining Decision Support Systems Document Management Information Retrieval Information Systems Applications Knowledge Reasoning Knowledge Representation Machine Learning Mobile Computing Multi-agent Systems Natural Language Processing Social Computing Text Processing Ubiquitous Computing e-learning

Editors and affiliations

  • Jan Vitek
    • 1
  1. 1.Northeastern UniversityBostonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46668-1
  • Online ISBN 978-3-662-46669-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book