Get 40% off our selection of bestselling print books in Engineering through October 31st!

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

Programming Languages and Systems

20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Editors: Barthe, Gilles (Ed.)

  • fast-track conference proceedings

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-19718-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-642-19717-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Table of contents (25 chapters)

  • Verified Software Toolchain

    Appel, Andrew W.

    Pages 1-17

  • Polymorphic Contracts

    Belo, João Filipe (et al.)

    Pages 18-37

  • Proving Isolation Properties for Software Transactional Memory

    Bieniusa, Annette (et al.)

    Pages 38-56

  • Typing Copyless Message Passing

    Bono, Viviana (et al.)

    Pages 57-76

  • Measure Transformer Semantics for Bayesian Machine Learning

    Borgström, Johannes (et al.)

    Pages 77-96

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-19718-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-642-19717-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems
Book Subtitle
20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Editors
  • Gilles Barthe
Series Title
Theoretical Computer Science and General Issues
Series Volume
6602
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-19718-5
DOI
10.1007/978-3-642-19718-5
Softcover ISBN
978-3-642-19717-8
Edition Number
1
Number of Pages
XIV, 501
Number of Illustrations and Tables
109 b/w illustrations, 14 illustrations in colour
Topics