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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:05:20 UTC

CMP.14:12 - Relations

  • MATH.17 and MATH.18: supply composition of operations and interpretation between accounts; this method constructs their interacting computational execution.
  • CMP.3 and CMP.10: supply dependency scheduling and data representations; interference can change the operations those representations must support.
  • CMP.4 and CMP.13: supply exploration and qualified abstraction for the composed state or trace system.
  • CMP.12: supplies interpretation and behavior-preserving translation when the component’s executable description changes.
  • C.29.2 and C.29.3: supply computational formulation and realization, including whether the modeled primitives and resource conditions are available.
  • C.11.DUA: governs the worth of stronger analysis or testing for the proposed use.