Mathematics of Program Construction

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

Editors:

ISBN: 978-3-642-31112-3 (Print) 978-3-642-31113-0 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-6

      Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs

    2. No Access

      Book Chapter

      Pages 7-22

      The Laws of Programming Unify Process Calculi

    3. No Access

      Book Chapter

      Pages 23-24

      The Geometry of Synthesis

  3. Security and Information Flow

    1. No Access

      Book Chapter

      Pages 25-47

      Scheduler-Independent Declassification

    2. No Access

      Book Chapter

      Pages 48-73

      Elementary Probability Theory in the Eindhoven Style

  4. Synchronous and Real-Time Systems

    1. No Access

      Book Chapter

      Pages 74-101

      Scheduling and Buffer Sizing of n-Synchronous Systems

    2. No Access

      Book Chapter

      Pages 102-131

      Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

  5. Algorithms and Games

    1. No Access

      Book Chapter

      Pages 132-156

      Calculating Graph Algorithms for Dominance and Shortest Path

    2. No Access

      Book Chapter

      Pages 157-176

      First-Past-the-Post Games

  6. Program Calculi

    1. No Access

      Book Chapter

      Pages 177-197

      Reverse Exchange for Concurrency and Local Reasoning

    2. No Access

      Book Chapter

      Pages 198-219

      Unifying Correctness Statements

  7. Tool Support

    1. No Access

      Book Chapter

      Pages 220-240

      Dependently Typed Programming Based on Automated Theorem Proving

  8. Algebras and Datatypes

    1. No Access

      Book Chapter

      Pages 241-262

      An Algebraic Calculus of Database Preferences

    2. No Access

      Book Chapter

      Pages 263-299

      Modular Tree Automata

  9. Categorical Functional Programming

    1. No Access

      Book Chapter

      Pages 300-323

      Constructing Applicative Functors

    2. No Access

      Book Chapter

      Pages 324-362

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

  10. Back Matter

    Pages -