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

Part of the Lecture Notes in Computer Science book series (LNCS, 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

About these proceedings

Introduction

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. 

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-49498-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49497-4
  • Online ISBN 978-3-662-49498-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book