Skip to main content
  • Conference proceedings
  • © 2012

Mathematics of Program Construction

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

Editors:

(view affiliations)
  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): MPC: International Conference on Mathematics of Program Construction

Conference proceedings info: MPC 2012.

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31113-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 74.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

  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
  4. Synchronous and Real-Time Systems

    1. Scheduling and Buffer Sizing of n-Synchronous Systems

      • Louis Mandel, Florence Plateau
      Pages 74-101
  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
  10. Back Matter

Other Volumes

  1. Mathematics of Program Construction

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

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.

Keywords

  • Haskell
  • automated theorem proving
  • formal methods
  • graph algorithms
  • probabilistic logics

Editors and Affiliations

  • 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

Bibliographic Information

Buying options

eBook
USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-31113-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 74.99
Price excludes VAT (USA)