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