Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Direct proof and counterexamples article
- Judgments and inference rules article
- Denotational semantics article
- Hoare logic and program assertions article
- Big-step operational semantics article
- Environments and stores in language semantics article
- Small-step operational semantics article
- Evaluation contexts article
- Observational equivalence article
- Symbolic execution and path conditions article