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

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
  19. Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
    Pages 483-509
  20. Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
    Pages 510-534
  21. Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
    Pages 535-559
  22. Sam Lindley, J. Garrett Morris
    Pages 560-584
  23. Alexey Gotsman, Hongseok Yang
    Pages 585-609
  24. Aws Albargouthi, Josh Berdine, Byron Cook, Zachary Kincaid
    Pages 634-660
  25. Cristina David, Daniel Kroening, Matt Lewis
    Pages 661-684
  26. Gabriel Scherer, Didier Rémy
    Pages 685-709
  27. Azalea Raad, Jules Villard, Philippa Gardner
    Pages 710-735
  28. Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod
    Pages 736-761
  29. Wilmer Ricciotti
    Pages 762-786
  30. Pedro Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
    Pages 787-811
  31. Eric L. Seidel, Niki Vazou, Ranjit Jhala
    Pages 812-836
  32. Back Matter
    Pages 837-838

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 Computer Science (R0)
  • Print ISBN 978-3-662-46668-1
  • Online ISBN 978-3-662-46669-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences