7. MPC 2004: Stirling, Scotland, UK

Dexter Kozen, Carron Shankland (Eds.): Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Lecture Notes in Computer Science 3125 Springer 2004, ISBN 3-540-22380-0 BibTeX

Greg Nelson:
Extended Static Checking for Java. 1
Electronic Edition (link) BibTeX
Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Constructing Polymorphic Programs with Quotient Types. 2-15
Electronic Edition (link) BibTeX
Artem Alimarine, Sjaak Smetsers:
Optimizing Generic Functions. 16-31
Electronic Edition (link) BibTeX
Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically. 32-53
Electronic Edition (link) BibTeX
Michael Barnett, David A. Naumann:
Friends Need a Bit More: Maintaining Invariants Over Shared State. 54-84
Electronic Edition (link) BibTeX
Nils Anders Danielsson, Patrik Jansson:
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. 85-109
Electronic Edition (link) BibTeX
Therrezinha Fernandes, Jules Desharnais:
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. 110-128
Electronic Edition (link) BibTeX
Hitoshi Furusawa:
A Free Construction of Kleene Algebras with Tests. 129-141
Electronic Edition (link) BibTeX
Jeremy Gibbons:
Streaming Representation-Changers. 142-168
Electronic Edition (link) BibTeX
Eric C. R. Hehner:
Probabilistic Predicative Programming. 169-185
Electronic Edition (link) BibTeX
Ralf Hinze:
An Algebra of Scans. 186-210
Electronic Edition (link) BibTeX
Graham Hutton, Joel Wright:
Compiling Exceptions Correctly. 211-227
Electronic Edition (link) BibTeX
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
Modelling Nondeterminism. 228-251
Electronic Edition (link) BibTeX
Bernhard Möller:
Lazy Kleene Algebra. 252-273
Electronic Edition (link) BibTeX
Joseph M. Morris:
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. 274-288
Electronic Edition (link) BibTeX
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. 289-313
Electronic Edition (link) BibTeX
Ulf Norell, Patrik Jansson:
Prototyping Generic Programming in Template Haskell. 314-333
Electronic Edition (link) BibTeX
José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues:
Transposing Relations: From Maybe Functions to Hash Tables. 334-356
Electronic Edition (link) BibTeX
Birgit Schieder:
Pointer Theory and Weakest Preconditions without Addresses and Heap. 357-380
Electronic Edition (link) BibTeX
Xinbei Tang, Jim Woodcock:
Travelling Processes. 381-399
Electronic Edition (link) BibTeX