Mathematics of Program Construction

1. Front Matter

   PDF

2. Invited Talks

   1. Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

      • Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin

      Pages 1-6

   2. The Laws of Programming Unify Process Calculi

      • Tony Hoare, Stephan van Staden

      Pages 7-22

   3. The Geometry of Synthesis

      • Dan R. Ghica

      Pages 23-24

3. Security and Information Flow

   1. Scheduler-Independent Declassification

      • Alexander Lux, Heiko Mantel, Matthias Perner

      Pages 25-47

   2. Elementary Probability Theory in the Eindhoven Style

      • Carroll Morgan

      Pages 48-73

4. Synchronous and Real-Time Systems

   1. Scheduling and Buffer Sizing of n-Synchronous Systems

      • Louis Mandel, Florence Plateau

      Pages 74-101

   2. Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

      • Brijesh Dongol, Ian J. Hayes

      Pages 102-131

5. Algorithms and Games

   1. Calculating Graph Algorithms for Dominance and Shortest Path

      • Ilya Sergey, Jan Midtgaard, Dave Clarke

      Pages 132-156

   2. First-Past-the-Post Games

      • Roland Backhouse

      Pages 157-176

6. Program Calculi

   1. Reverse Exchange for Concurrency and Local Reasoning

      • Han-Hing Dang, Bernhard Möller

      Pages 177-197

   2. Unifying Correctness Statements

      • Walter Guttmann

      Pages 198-219

7. Tool Support

   1. Dependently Typed Programming Based on Automated Theorem Proving

      • Alasdair Armstrong, Simon Foster, Georg Struth

      Pages 220-240

8. Algebras and Datatypes

   1. An Algebraic Calculus of Database Preferences

      • Bernhard Möller, Patrick Roocks, Markus Endres

      Pages 241-262

   2. Modular Tree Automata

      • Patrick Bahr

      Pages 263-299

9. Categorical Functional Programming

   1. Constructing Applicative Functors

      • Ross Paterson

      Pages 300-323

   2. Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick

      • Ralf Hinze

      Pages 324-362

10. Back Matter

    PDF

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

• Department of Computer Science, Oxford University, Oxford, UK

  Jeremy Gibbons

• Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Spain

  Pablo Nogueira

Policies and ethics