Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

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 51,99 €
price for Spain (gross)
  • ISBN 978-3-030-17183-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Pages 3-29

    Mével, Glen (et al.)

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

    Pages 30-59

    Martínez, Guido (et al.)

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

    Pages 60-87

    Frumin, Dan (et al.)

  • Safe Deferred Memory Reclamation with Types

    Pages 88-116

    Kuru, Ismail (et al.)

  • Codata in Action

    Pages 119-146

    Downen, Paul (et al.)

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 51,99 €
price for Spain (gross)
  • ISBN 978-3-030-17183-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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