- Rudolf Berghammer, Walter Guttmann
:
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC 2015: 50-70 - Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
A Program Construction and Verification Tool for Separation Logic. MPC 2015: 137-158 - Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco:
A Clear Picture of Lens Laws - Functional Pearl. MPC 2015: 215-223 - Pepijn Kokke, Wouter Swierstra:
Auto in Agda - Programming Proof Search Using Reflection. MPC 2015: 276-301 - José Pedro Magalhães, Andres Löh:
Hierarchy in Generic Programming Libraries. MPC 2015: 93-112 - Conor McBride:
Turing-Completeness Totally Free. MPC 2015: 257-275 - Bernhard Möller, Tony Hoare:
Exploring an Interface Model for CKA. MPC 2015: 1-29 - Dan Piponi, Brent A. Yorgey:
Polynomial Functors Constrained by Regular Expressions. MPC 2015: 113-136 - Patrick Roocks:
Preference Decomposition and the Expressiveness of Preference Query Languages. MPC 2015: 71-92 - Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten:
Regular Varieties of Automata and Coequations. MPC 2015: 224-237 - Stephan van Staden:
On Rely-Guarantee Reasoning. MPC 2015: 30-49 - Nicolas Wu, Tom Schrijvers:
Fusion for Free - Efficient Algebraic Effect Handlers. MPC 2015: 302-322 - Ralf Hinze, Janis Voigtländer:
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Lecture Notes in Computer Science 9129, Springer 2015, ISBN 978-3-319-19796-8 [contents] - 2012
- Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming Based on Automated Theorem Proving. MPC 2012: 220-240 - Roland Carl Backhouse:
First-Past-the-Post Games. MPC 2012: 157-176 - Patrick Bahr:
Modular Tree Automata. MPC 2012: 263-299 - Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin:
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. MPC 2012: 1-6 - Han-Hing Dang, Bernhard Möller:
Reverse Exchange for Concurrency and Local Reasoning. MPC 2012: 177-197 - Brijesh Dongol, Ian J. Hayes:
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. MPC 2012: 102-131 - Dan R. Ghica:
The Geometry of Synthesis - How to Make Hardware Out of Software. MPC 2012: 23-24 - Walter Guttmann:
Unifying Correctness Statements. MPC 2012: 198-219 - Ralf Hinze:
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. MPC 2012: 324-362 - Tony Hoare, Stephan van Staden:
The Laws of Programming Unify Process Calculi. MPC 2012: 7-22 - Alexander Lux, Heiko Mantel, Matthias Perner:
Scheduler-Independent Declassification. MPC 2012: 25-47 - Louis Mandel, Florence Plateau:
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. MPC 2012: 74-101 - Bernhard Möller, Patrick Roocks, Markus Endres:
An Algebraic Calculus of Database Preferences. MPC 2012: 241-262 - Carroll Morgan:
Elementary Probability Theory in the Eindhoven Style. MPC 2012: 48-73 - Ross Paterson:
Constructing Applicative Functors. MPC 2012: 300-323 - Ilya Sergey, Jan Midtgaard, Dave Clarke:
Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156 - 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 [contents]
