Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science
Open Access This content is freely available online to anyone, anywhere at any time.

Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Editors: Caires, Luís (Ed.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-030-17184-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-17183-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Time Credits and Time Receipts in Iris

    Mével, Glen (et al.)

    Pages 3-29

  • Meta-F$$^\star $$: Proof Automation with SMT, Tactics, and Metaprograms

    Martínez, Guido (et al.)

    Pages 30-59

  • Semi-automated Reasoning About Non-determinism in C Expressions

    Frumin, Dan (et al.)

    Pages 60-87

  • Safe Deferred Memory Reclamation with Types

    Kuru, Ismail (et al.)

    Pages 88-116

  • Codata in Action

    Downen, Paul (et al.)

    Pages 119-146

Buy this book

eBook  
  • ISBN 978-3-030-17184-1
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-17183-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems
Book Subtitle
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editors
  • Luís Caires
Series Title
Theoretical Computer Science and General Issues
Series Volume
11423
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-030-17184-1
DOI
10.1007/978-3-030-17184-1
Softcover ISBN
978-3-030-17183-4
Edition Number
1
Number of Pages
XV, 816
Number of Illustrations
5153 b/w illustrations, 70 illustrations in colour
Topics