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

Algebraic Approaches to Program Semantics

Overview of attention for book
Cover of 'Algebraic Approaches to Program Semantics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Introduction to Denotational Semantics
  3. Altmetric Badge
    Chapter 2 An Introduction to Category Theory
  4. Altmetric Badge
    Chapter 3 Partially Additive Semantics
  5. Altmetric Badge
    Chapter 4 Assertion Semantics
  6. Altmetric Badge
    Chapter 5 Recursive Specifications
  7. Altmetric Badge
    Chapter 6 Order Semantics of Recursion
  8. Altmetric Badge
    Chapter 7 Canonical Fixed Points
  9. Altmetric Badge
    Chapter 8 Partially Additive Semantics of Recursion
  10. Altmetric Badge
    Chapter 9 Fixed Points in Metric Spaces
  11. Altmetric Badge
    Chapter 10 Functors
  12. Altmetric Badge
    Chapter 11 Recursive Specification of Data Types
  13. Altmetric Badge
    Chapter 12 Parametric Specification
  14. Altmetric Badge
    Chapter 13 Order Semantics of Data Types
  15. Altmetric Badge
    Chapter 14 Equational Specification
Attention for Chapter 5: Recursive Specifications
Altmetric Badge

Citations

dimensions_citation
147 Dimensions
Summary Dimensions citations
So far, Dimensions has found 147 publications that cite this research output.

147

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