Programming and Software Engineering

Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Editors: Seidl, Helmut (Ed.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-28869-2
  • 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
  • ISBN 978-3-642-28868-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 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 (29 chapters)

  • Foundations of C++

    Stroustrup, Bjarne

    Pages 1-25

  • What’s Decidable about Weak Memory Models?

    Atig, Mohamed Faouzi (et al.)

    Pages 26-46

  • A Formally Verified SSA-Based Middle-End

    Barthe, Gilles (et al.)

    Pages 47-66

  • Eventually Consistent Transactions

    Burckhardt, Sebastian (et al.)

    Pages 67-86

  • Concurrent Library Correctness on the TSO Memory Model

    Burckhardt, Sebastian (et al.)

    Pages 87-107

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-28869-2
  • 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
  • ISBN 978-3-642-28868-5
  • 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
21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Editors
  • Helmut Seidl
Series Title
Programming and Software Engineering
Series Volume
7211
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-28869-2
DOI
10.1007/978-3-642-28869-2
Softcover ISBN
978-3-642-28868-5
Edition Number
1
Number of Pages
XV, 602
Topics