Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Greg Nelson (auth.), Dexter Kozen (eds.)3540223800, 9783540223801, 9783540277644

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.

The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

---

Table of contents :
Front Matter….Pages –
Extended Static Checking for Java….Pages 1-1
Constructing Polymorphic Programs with Quotient Types….Pages 2-15
Optimizing Generic Functions….Pages 16-31
Inferring Type Isomorphisms Generically….Pages 32-53
Friends Need a Bit More: Maintaining Invariants Over Shared State….Pages 54-84
Chasing Bottoms….Pages 85-109
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra….Pages 110-128
A Free Construction of Kleene Algebras with Tests….Pages 129-141
Streaming Representation-Changers….Pages 142-168
Probabilistic Predicative Programming….Pages 169-185
An Algebra of Scans….Pages 186-210
Compiling Exceptions Correctly….Pages 211-227
Modelling Nondeterminism….Pages 228-251
Lazy Kleene Algebra….Pages 252-273
Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy….Pages 274-288
An Injective Language for Reversible Computation….Pages 289-313
Prototyping Generic Programming in Template Haskell….Pages 314-333
Transposing Relations: From Maybe Functions to Hash Tables….Pages 334-356
Pointer Theory and Weakest Preconditions without Addresses and Heap….Pages 357-380
Travelling Processes….Pages 381-399
Back Matter….Pages –