↓ 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 Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm
  3. Altmetric Badge
    Chapter 2 Some Results in Dynamic Model Theory
  4. Altmetric Badge
    Chapter 3 Mathematics in Computer Science Curricula
  5. Altmetric Badge
    Chapter 4 Logical Relations and Galois Connections
  6. Altmetric Badge
    Chapter 5 Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
  7. Altmetric Badge
    Chapter 6 Fine Control of Demand in Haskell
  8. Altmetric Badge
    Chapter 7 Reasoning about Timeouts
  9. Altmetric Badge
    Chapter 8 Eternity Variables to Simulate Specifications
  10. Altmetric Badge
    Chapter 9 Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
  11. Altmetric Badge
    Chapter 10 Type-Indexed Data Types
  12. Altmetric Badge
    Chapter 11 Verification of Java’s AbstractCollection Class: A Case Study
  13. Altmetric Badge
    Chapter 12 Solving Regular Path Queries
  14. Altmetric Badge
    Chapter 13 Inverting Functions as Folds
  15. Altmetric Badge
    Chapter 14 From Kleene Algebra to Refinement Algebra
Attention for Chapter 5: Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation 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.