Program Run

program-proofing

Definition

Program Run

A program run is a sequence of program configurations linked by the program transition relation.

Formally, a run is a sequence

$${\gamma }_0\Rightarrow {\gamma }_1\Rightarrow {\gamma }_2\Rightarrow \cdots$$

where each ${\gamma }_i$ is a program configuration and each step follows from the transition relation.