ISBN: 3540645918
TITLE: Mathematics of Program Construction
AUTHOR: Jeuring, Johan (Ed.)
TOC

Invited Lectures
On the Aesthetics of Diagrams 1
David Harel
Generalising monads 6
John Hughes
A proof rule for control loops 7
Burghard von Karger
Contributed Lectures
Relation-algebraic derivation of spanning tree algorithms 23
Rudolf Berghammer, Burghard von Karger, Andreas Wolf
An application of program derivation techniques to 18th-century mathematics 44
A. Bijlsma
Nested datatypes 52
Richard Bird, Lambert Meertens
An approach to object-orientation in action systems 68
Marcello M. Bosangue, Joost N. Kok, Kaisa Sere
Layered graph traversals and Hamiltonian path problems - An algebraic approach 96
Thomas Brunn, Bernhard Mller, Martin Russling
A unifying framework for correct program construction 122
Henning Dierks, Michael Schenke
Computation calculus - Bridging a formalization gap 151
Rutger M. Dijkstra
An elementary derivation of the alternating bit protocol 175
W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder
A set-theoretic model for real-time specification and reasoning 188
C. J. Fidge, I. J. Hayes, A. P. Martin, A. K. Wabenhorst Polytypic downwards accumulations 207
Jeremy Gibbons
Formal derivation of a loadable asynchronous counter 234
Mark B. Josephs
A semantic approach to secure information flow 254
K. Rustan M. Leino, Rajeev Joshi
Slack elasticity in concurrent computing 272
Rajit Manohar, Alain J. Martin
Beyond Fun Order and membership in polytypic imperative programming 286
David A. Naumann
Convergence of program transformers in the metric space of trees 315
Morten Heine B. Srensen
Realizability of monotone coinductive definitions and its application to program synthesis 338
Makoto Tatsuta
Calculating a round-robin scheduler 365
Matteo Vaccari, Roland Backhouse
Author Index
383
END
