Stuck Program Configuration

program-proofing

Definition

Stuck Program Configuration

A stuck program configuration is a non-final program configuration with no successor configuration.

Formally, a configuration $\gamma \in \mathcal{L}(\mathrm{Program})\times \mathcal{S}$ is stuck if there is no ${\gamma }^{\prime }\in \mathcal{C}$ such that

$$\gamma \Rightarrow {\gamma }^{\prime }.$$

A stuck configuration indicates that the program aborts or cannot continue.