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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:05:06 UTC

Part C - Interpret, transform and compose computations

§ID & TitleStatusKeywords & Search QueriesDependencies
1CMP.12 - Construct an Interpreter or a Meaning-Preserving TranslationUsable, evolvinginterpreter; compiler; semantics; binding; environment; control; observable behavior. How does an expression execute, and what must its translation preserve?MATH.5/.17/.18 for expression composition and interpretation; C.29.3 when realizing the primitives.
2CMP.13 - Construct a Computational Abstraction for the Property Being AskedUsable, evolvingabstract interpretation; reachable states; sound approximation; fixed point; refinement. Which cheaper computation supports this property, and can its counterexample occur?MATH.2/.18 for identification and interpretation; CMP.3/.4 for scheduling and exploration.
3CMP.14 - Compose Interacting Computations through Their Required ObservationsUsable, evolvingconcurrent algorithm; shared state; protocol; atomicity; interference; progress. Which interactions preserve the required whole behavior?CMP.3/.10/.12 for dependencies, representation and semantics; C.29.3 for implementation assumptions.