Theoretical Computer Science and General Issues

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Editors: Gibbons, Jeremy, Nogueira, Pablo (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook n/a
  • ISBN 978-3-642-31113-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-31112-3
  • Free shipping for individuals worldwide
About this book

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.

Table of contents (16 chapters)

  • Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

    Barthe, Gilles (et al.)

    Pages 1-6

  • The Laws of Programming Unify Process Calculi

    Hoare, Tony (et al.)

    Pages 7-22

  • The Geometry of Synthesis

    Ghica, Dan R.

    Pages 23-24

  • Scheduler-Independent Declassification

    Lux, Alexander (et al.)

    Pages 25-47

  • Elementary Probability Theory in the Eindhoven Style

    Morgan, Carroll

    Pages 48-73

Buy this book

eBook n/a
  • ISBN 978-3-642-31113-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-642-31112-3
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematics of Program Construction
Book Subtitle
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Editors
  • Jeremy Gibbons
  • Pablo Nogueira
Series Title
Theoretical Computer Science and General Issues
Series Volume
7342
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-31113-0
DOI
10.1007/978-3-642-31113-0
Softcover ISBN
978-3-642-31112-3
Edition Number
1
Number of Pages
X, 363
Number of Illustrations and Tables
57 b/w illustrations
Topics