default search action

combined dblp search
author search
venue search
publication search

ask others

11th MPC 2012: Madrid, Spain

> Home > Conferences and Workshops > MPC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2012
Jeremy Gibbons, Pablo Nogueira:
Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Lecture Notes in Computer Science 7342, Springer 2012, ISBN 978-3-642-31112-3

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BartheGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BartheGB12
Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin:
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HoareS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HoareS12
Tony Hoare, Stephan van Staden:
The Laws of Programming Unify Process Calculi. 7-22
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Ghica12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Ghica12
Dan R. Ghica:
The Geometry of Synthesis - How to Make Hardware Out of Software. 23-24

Security and Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/LuxMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/LuxMP12
Alexander Lux, Heiko Mantel, Matthias Perner:
Scheduler-Independent Declassification. 25-47
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Morgan12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Morgan12
Carroll Morgan:
Elementary Probability Theory in the Eindhoven Style. 48-73

Synchronous and Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MandelP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MandelP12
Louis Mandel, Florence Plateau:
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. 74-101
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DongolH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DongolH12
Brijesh Dongol, Ian J. Hayes:
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. 102-131

Algorithms and Games

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SergeyMC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SergeyMC12
Ilya Sergey, Jan Midtgaard, Dave Clarke:
Calculating Graph Algorithms for Dominance and Shortest Path. 132-156
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Backhouse12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Backhouse12
Roland Carl Backhouse:
First-Past-the-Post Games. 157-176

Program Calculi

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DangM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DangM12
Han-Hing Dang, Bernhard Möller:
Reverse Exchange for Concurrency and Local Reasoning. 177-197
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Guttmann12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Guttmann12
Walter Guttmann:
Unifying Correctness Statements. 198-219

Tool Support

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/ArmstrongFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/ArmstrongFS12
Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming Based on Automated Theorem Proving. 220-240

Algebras and Datatypes

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MollerRE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MollerRE12
Bernhard Möller, Patrick Roocks, Markus Endres:
An Algebraic Calculus of Database Preferences. 241-262
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bahr12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Bahr12
Patrick Bahr:
Modular Tree Automata. 263-299

Categorical Functional Programming

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Paterson12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Paterson12
Ross Paterson:
Constructing Applicative Functors. 300-323
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hinze12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Hinze12
Ralf Hinze:
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. 324-362

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.