↓ Skip to main content
What is this page? Embed badge

Mathematics of Program Construction

Overview of attention for book
Cover of '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
Attention for Chapter 4: On Automated Program Construction and Verification
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
5 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.