Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Description

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. Front Matter....Pages - Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs....Pages 1-6 The Laws of Programming Unify Process Calculi....Pages 7-22 The Geometry of Synthesis....Pages 23-24 Scheduler-Independent Declassification....Pages 25-47 Elementary Probability Theory in the Eindhoven Style....Pages 48-73 Scheduling and Buffer Sizing of n-Synchronous Systems....Pages 74-101 Deriving Real-Time Action Systems Controllers from Multiscale System Specifications....Pages 102-131 Calculating Graph Algorithms for Dominance and Shortest Path....Pages 132-156 First-Past-the-Post Games....Pages 157-176 Reverse Exchange for Concurrency and Local Reasoning....Pages 177-197 Unifying Correctness Statements....Pages 198-219 Dependently Typed Programming Based on Automated Theorem Proving....Pages 220-240 An Algebraic Calculus of Database Preferences....Pages 241-262 Modular Tree Automata....Pages 263-299 Constructing Applicative Functors....Pages 300-323 Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick....Pages 324-362 Back Matter....Pages -