Advertisement

Programming Languages and Systems

29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

  • Peter Müller
Open Access
Conference proceedings
ESOP 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu et al.
    Pages 1-28 Open Access
  3. Danel Ahman, Andrej Bauer
    Pages 29-55 Open Access
  4. Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
    Pages 56-83 Open Access
  5. Brandon Bohrer, André Platzer
    Pages 84-111 Open Access
  6. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
    Pages 112-140 Open Access
  7. Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
    Pages 141-168 Open Access
  8. Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
    Pages 169-196 Open Access
  9. Kimball Germane, Michael D. Adams
    Pages 197-223 Open Access
  10. Ákos Hajdu, Dejan Jovanović
    Pages 224-250 Open Access
  11. Sung-Shik Jongmans, Nobuko Yoshida
    Pages 251-279 Open Access
  12. Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanović
    Pages 280-307 Open Access
  13. Siddharth Krishna, Alexander J. Summers, Thomas Wies
    Pages 308-335 Open Access
  14. Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
    Pages 336-365 Open Access
  15. Jacob Laurel, Sasa Misailovic
    Pages 366-393 Open Access
  16. Konstantinos Mamouras
    Pages 394-427 Open Access
  17. William Mansky, Wolf Honoré, Andrew W. Appel
    Pages 428-455 Open Access
  18. Kazutaka Matsuda
    Pages 456-483 Open Access
  19. Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
    Pages 484-514 Open Access
  20. Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
    Pages 515-543 Open Access
  21. Sreeja S. Nair, Gustavo Petri, Marc Shapiro
    Pages 544-571 Open Access
  22. Rong Pan, Qinheping Hu, Rishabh Singh, Loris D’Antoni
    Pages 572-598 Open Access
  23. Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
    Pages 599-625 Open Access
  24. Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget et al.
    Pages 626-655 Open Access
  25. Fabian Thorand, Jurriaan Hage
    Pages 656-683 Open Access
  26. John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
    Pages 684-714 Open Access
  27. Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
    Pages 715-742 Open Access
  28. Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
    Pages 743-769 Open Access
  29. Back Matter
    Pages 771-772

About these proceedings

Introduction

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 

Keywords

artificial intelligence computer networks computer programming computer security distributed computer systems embedded systems formal languages formal logic linguistics mathematics model checking object-oriented programming parallel processing systems program compilers semantics software architecture software design software engineering software quality verification and validation

Editors and affiliations

  1. 1.ETH ZurichZurichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-44914-8
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2020
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-44913-1
  • Online ISBN 978-3-030-44914-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site