Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Editors: Yang, Hongseok (Ed.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-662-54434-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.99
price for USA in USD
  • ISBN 978-3-662-54433-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity. 

Table of contents (36 chapters)

Table of contents (36 chapters)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-662-54434-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.99
price for USA in USD
  • ISBN 978-3-662-54433-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
26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Editors
  • Hongseok Yang
Series Title
Theoretical Computer Science and General Issues
Series Volume
10201
Copyright
2017
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany
eBook ISBN
978-3-662-54434-1
DOI
10.1007/978-3-662-54434-1
Softcover ISBN
978-3-662-54433-4
Edition Number
1
Number of Pages
XV, 992
Number of Illustrations
236 b/w illustrations
Topics