Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Mathematics of Program Construction

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Jeremy Gibbons

    1. Department of Computer Science, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pablo Nogueira

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: MPC 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Mathematics of Program Construction

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation