fpf.tools
Library / Computational Thinking DPF
Jump to passage
In this reading
Source · lines 2667–2675

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 03:45:20 UTC

CMP.13:12 - Relations

  • MATH.2 and MATH.18: supply operation-preserving identification and interpretations between mathematical accounts; the overapproximation here has its stated one-way consequence.
  • CMP.3 and CMP.4: supply dependency reuse and search; closure over cycles and reconstruction of abstract witnesses are developed here.
  • CMP.8: supplies controlled numerical approximation; inclusion of possible executions answers a different question from numerical closeness.
  • CMP.12: supplies effective interpretation of the original expressions and operations whose semantics this abstraction uses.
  • C.29.1 and C.29.2: supply the surrounding interpretation and computational formulation; applying the result to its intended subject returns to C.29.
  • C.11.DUA: selects further analysis by the receiving action or conclusion it could change.