ISBN: 3-540-67727-5
TITLE: Mathematics of Program Construction
AUTHOR: Backhouse, Roland; Nuno Oliveira, Jose (Eds.)
TOC:

Integrating Programming, Properties, and Validation 1
Mark P. Jones
Polytypic Values Possess Polykinded Types 2
Ralf Hinze
The Zip Calculus 28
Mark Tullsen
Separation and Reduction 45
Ernie Cohen
Reasoning about Non-terminating Loops Using Deadline Commands 60
Ian Hayes
Quantum Programming 80
J. W. Sanders and P. Zuliani
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series 100
J.J.M.M. Rutten
Proving Pointer Programs in Hoare Logic 102
Richard Bornat
On Guarded Commands with Fair Choice 127
Emil Sekerinski
Formal Methods and Dependability 140
Cliff B. Jones
Liberating Data Refinement 144
Eerke Boiten and John Derrick
Theorems about Composition 167
Michel Charpentier and K. Mani Chandy
The Universal Resolving Algorithm: Inverse Computation in a Functional Language 187
Sergei Abramov and Robert Glck
Metacomputation-Based Compiler Architecture 213
William L. Harrison and Samuel N. Kamin
A Metalanguage for Programming with Bound Names
Modulo Renaming 230
Andrew M. Pitts and Murdoch J. Gabbay
Author Index 257
END
