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

Theoretical Foundations of Programming Methodology

Overview of attention for book
Cover of 'Theoretical Foundations of Programming Methodology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Smoothsort, an Alternative for Sorting in Situ
  3. Altmetric Badge
    Chapter 2 Lambek and Moser Revisited
  4. Altmetric Badge
    Chapter 3 A General Axiom of Assignment
  5. Altmetric Badge
    Chapter 4 Assignment and Linked Data Structures
  6. Altmetric Badge
    Chapter 5 A Proof of the Schorr-Waite Algorithm
  7. Altmetric Badge
    Chapter 6 Verification of Sequential Programs: Temporal Axiomatization
  8. Altmetric Badge
    Chapter 7 Specification and Derivation of Programs
  9. Altmetric Badge
    Chapter 8 Repaying Our Debts
  10. Altmetric Badge
    Chapter 9 Lectures on a Mathematical Theory of Computation
  11. Altmetric Badge
    Chapter 10 Semantic Models
  12. Altmetric Badge
    Chapter 11 Algebras, Theories and Freeness: An Introduction for Computer Scientists
  13. Altmetric Badge
    Chapter 12 An Analysis of Semantic Models for Algebraic Specifications
  14. Altmetric Badge
    Chapter 13 Fundamental Properties of Infinite Trees
  15. Altmetric Badge
    Chapter 14 Behaviors of Processes and Synchronized Systems of Processes
  16. Altmetric Badge
    Chapter 15 A Tutorial on the Split Binary Semaphore
  17. Altmetric Badge
    Chapter 16 A Fixed Point Approach to Applicative Multiprogramming
  18. Altmetric Badge
    Chapter 17 Discrete Event Simulation Based on Communicating Sequential Processes
  19. Altmetric Badge
    Chapter 18 Structure of an Operating System
Attention for Chapter 7: Specification and Derivation of Programs
Altmetric Badge

Citations

dimensions_citation
10 Dimensions

Readers on

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

10

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