Mathematics of Program Construction

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Algorithmics of Solitaire-Like Games
3. Altmetric Badge
   Chapter 2 Compositionality of Secure Information Flow
4. Altmetric Badge
   Chapter 3 Process Algebras for Collective Dynamics
5. Altmetric Badge
   Chapter 4 On Automated Program Construction and Verification
6. Altmetric Badge
   Chapter 5 The Logic of Large Enough
7. Altmetric Badge
   Chapter 6 Dependently Typed Grammars
8. Altmetric Badge
   Chapter 7 Abstraction of Object Graphs in Program Verification
9. Altmetric Badge
   Chapter 8 Subtyping, Declaratively
10. Altmetric Badge
    Chapter 9 Mathematics of Program Construction
11. Altmetric Badge
    Chapter 10 Designing an Algorithmic Proof of the Two-Squares Theorem
12. Altmetric Badge
    Chapter 11 Partial, Total and General Correctness
13. Altmetric Badge
    Chapter 12 Mathematics of Program Construction
14. Altmetric Badge
    Chapter 13 Adjoint Folds and Unfolds
15. Altmetric Badge
    Chapter 14 An Abstract Machine for the Old Value Retrieval
16. Altmetric Badge
    Chapter 15 A Tracking Semantics for CSP
17. Altmetric Badge
    Chapter 16 Matrices as Arrows!
18. Altmetric Badge
    Chapter 17 Lucy-n: a n-Synchronous Extension of Lustre
19. Altmetric Badge
    Chapter 18 Sampling, Splitting and Merging in Coinductive Stream Calculus
20. Altmetric Badge
    Chapter 19 Generic Point-free Lenses
21. Altmetric Badge
    Chapter 20 Formal Derivation of Concurrent Garbage Collectors
22. Altmetric Badge
    Chapter 21 Temporal Logic Verification of Lock-Freedom
23. Altmetric Badge
    Chapter 22 Gradual Refinement