Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Access this title on SpringerLink – Click here!

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

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Editors: Ahmed, Amal (Ed.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-319-89884-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-319-89883-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 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.

The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Consistent Subtyping for All

    Pages 3-30

    Xie, Ningning (et al.)

  • HOBiT: Programming Lenses Without Using Lens Combinators

    Pages 31-59

    Matsuda, Kazutaka (et al.)

  • Dualizing Generalized Algebraic Data Types by Matrix Transposition

    Pages 60-85

    Ostermann, Klaus (et al.)

  • Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach

    Pages 86-113

    Aguado, Joaquín (et al.)

  • An Assertion-Based Program Logic for Probabilistic Programs

    Pages 117-144

    Barthe, Gilles (et al.)

Buy this book

eBook  
  • ISBN 978-3-319-89884-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-319-89883-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
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Editors
  • Amal Ahmed
Series Title
Theoretical Computer Science and General Issues
Series Volume
10801
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-319-89884-1
DOI
10.1007/978-3-319-89884-1
Softcover ISBN
978-3-319-89883-4
Edition Number
1
Number of Pages
XVI, 1058
Number of Illustrations
276 b/w illustrations
Topics