Mathematics of Program Construction

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

  • Jeremy Gibbons
  • Pablo Nogueira

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7342)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin
      Pages 1-6
    2. Tony Hoare, Stephan van Staden
      Pages 7-22
    3. Dan R. Ghica
      Pages 23-24
  3. Security and Information Flow

    1. Alexander Lux, Heiko Mantel, Matthias Perner
      Pages 25-47
  4. Synchronous and Real-Time Systems

  5. Algorithms and Games

    1. Ilya Sergey, Jan Midtgaard, Dave Clarke
      Pages 132-156
    2. Roland Backhouse
      Pages 157-176
  6. Program Calculi

    1. Han-Hing Dang, Bernhard Möller
      Pages 177-197
    2. Walter Guttmann
      Pages 198-219
  7. Tool Support

    1. Alasdair Armstrong, Simon Foster, Georg Struth
      Pages 220-240
  8. Algebras and Datatypes

    1. Bernhard Möller, Patrick Roocks, Markus Endres
      Pages 241-262
    2. Patrick Bahr
      Pages 263-299
  9. Categorical Functional Programming

  10. Back Matter

About these proceedings


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.


Haskell automated theorem proving formal methods graph algorithms probabilistic logics

Editors and affiliations

  • Jeremy Gibbons
    • 1
  • Pablo Nogueira
    • 2
  1. 1.Department of Computer ScienceOxford UniversityOxfordUK
  2. 2.Facultad de InformáticaUniversidad Politécnica de MadridBoadilla del MonteSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31112-3
  • Online ISBN 978-3-642-31113-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software