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
- Greg Nelson:
Extended Static Checking for Java.
1

- Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Constructing Polymorphic Programs with Quotient Types.
2-15

- Artem Alimarine, Sjaak Smetsers:
Optimizing Generic Functions.
16-31

- Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically.
32-53

- Michael Barnett, David A. Naumann:
Friends Need a Bit More: Maintaining Invariants Over Shared State.
54-84

- Nils Anders Danielsson, Patrik Jansson:
Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.
85-109

- Therrezinha Fernandes, Jules Desharnais:
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.
110-128

- Hitoshi Furusawa:
A Free Construction of Kleene Algebras with Tests.
129-141

- Jeremy Gibbons:
Streaming Representation-Changers.
142-168

- Eric C. R. Hehner:
Probabilistic Predicative Programming.
169-185

- Ralf Hinze:
An Algebra of Scans.
186-210

- Graham Hutton, Joel Wright:
Compiling Exceptions Correctly.
211-227

- Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
Modelling Nondeterminism.
228-251

- Bernhard Möller:
Lazy Kleene Algebra.
252-273

- Joseph M. Morris:
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy.
274-288

- Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation.
289-313

- Ulf Norell, Patrik Jansson:
Prototyping Generic Programming in Template Haskell.
314-333

- José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues:
Transposing Relations: From Maybe Functions to Hash Tables.
334-356

- Birgit Schieder:
Pointer Theory and Weakest Preconditions without Addresses and Heap.
357-380

- Xinbei Tang, Jim Woodcock:
Travelling Processes.
381-399

Last update Sat May 18 19:24:30 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page