English
Mathematics of Program Construction
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 On the aesthetics of diagrams
-
Altmetric BadgeChapter 2 Generalising monads
-
Altmetric BadgeChapter 3 A proof rule for control loops
-
Altmetric BadgeChapter 4 Relation-algebraic derivation of spanning tree algorithms
-
Altmetric BadgeChapter 5 An application of program derivation techniques to 18th-century mathematics
-
Altmetric BadgeChapter 6 Nested datatypes
-
Altmetric BadgeChapter 7 An approach to object-orientation in action systems
-
Altmetric BadgeChapter 8 Layered graph traversals and Hamiltonian path problems — An algebraic approach
-
Altmetric BadgeChapter 9 A unifying framework for correct program construction
-
Altmetric BadgeChapter 10 Computation calculus bridging a formalization gap
-
Altmetric BadgeChapter 11 An elementary derivation of the alternating bit protocol
-
Altmetric BadgeChapter 12 A set-theoretic model for real-time specification and reasoning
-
Altmetric BadgeChapter 13 Polytypic downwards accumulations
-
Altmetric BadgeChapter 14 Formal derivation of a loadable asynchronous counter
-
Altmetric BadgeChapter 15 A semantic approach to secure information flow
-
Altmetric BadgeChapter 16 Slack elasticity in concurrent computing
-
Altmetric BadgeChapter 17 Beyond fun: Order and membership in polytypic imperative programming
-
Altmetric BadgeChapter 18 Convergence of program transformers in the metric space of trees
-
Altmetric BadgeChapter 19 Realizability of monotone coinductive definitions and its application to program synthesis
-
Altmetric BadgeChapter 20 Calculating a round-robin scheduler