↓ 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 Experiments in Information Flow Analysis
  3. Altmetric Badge
    Chapter 2 Handling Local State with Global State
  4. Altmetric Badge
    Chapter 3 Certification of Breadth-First Algorithms by Extraction
  5. Altmetric Badge
    Chapter 4 Verified Self-Explaining Computation
  6. Altmetric Badge
    Chapter 5 Self-certifying Railroad Diagrams
  7. Altmetric Badge
    Chapter 6 How to Calculate with Nondeterministic Functions
  8. Altmetric Badge
    Chapter 7 Setoid Type Theory—A Syntactic Translation
  9. Altmetric Badge
    Chapter 8 Cylindric Kleene Lattices for Program Construction
  10. Altmetric Badge
    Chapter 9 A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
  11. Altmetric Badge
    Chapter 10 System F in Agda, for Fun and Profit
  12. Altmetric Badge
    Chapter 11 An Analysis of Repeated Graph Search
  13. Altmetric Badge
    Chapter 12 Shallow Embedding of Type Theory is Morally Correct
  14. Altmetric Badge
    Chapter 13 En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
  15. Altmetric Badge
    Chapter 14 Completeness and Incompleteness of Synchronous Kleene Algebra
  16. Altmetric Badge
    Chapter 15 Unraveling Recursion: Compiling an IR with Recursion to System F
  17. Altmetric Badge
    Chapter 16 Coding with Asymmetric Numeral Systems
Attention for Chapter 4: Verified Self-Explaining Computation
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

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

5

The most recent citing publications are shown below. View all 5 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.