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

Programming in the 1990s

Overview of attention for book
Cover of 'Programming in the 1990s'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What can we learn from a cake?
  3. Altmetric Badge
    Chapter 2 Preliminary notions, notations, and terminology
  4. Altmetric Badge
    Chapter 3 Predicates A — Boolean operators
  5. Altmetric Badge
    Chapter 4 Predicates B — Quantified expressions
  6. Altmetric Badge
    Chapter 5 Specifications
  7. Altmetric Badge
    Chapter 6 The shapes of programs
  8. Altmetric Badge
    Chapter 7 Intermezzo on calculations
  9. Altmetric Badge
    Chapter 8 Developing loopless programs
  10. Altmetric Badge
    Chapter 9 Developing loops — an introduction
  11. Altmetric Badge
    Chapter 10 Loops A — On deleting a conjunct
  12. Altmetric Badge
    Chapter 11 Loops B — On replacing constants by fresh variables
  13. Altmetric Badge
    Chapter 12 Mainly on recursion
  14. Altmetric Badge
    Chapter 13 Back to scratch
  15. Altmetric Badge
    Chapter 14 Where to go from here
Attention for Chapter 5: Specifications
Altmetric Badge

Citations

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

31

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