Program state
= Program state
A description of the information needed to determine a program's next permitted step. In the <summation loop verification>, this includes the current <variable> values and the position in the instructions.
= Program state
A description of the information needed to determine a program's next permitted step. In the <summation loop verification>, this includes the current <variable> values and the position in the instructions.