Programs and States
Procedural programs work by state-change.
The state of a program:
- variables (mutable typed containers)
- position (place in code where executing)
- external files (input/output file positions)
The program comprises:
- declarations - (description of variables: names and types)
- statements - (list of operations to be performed)
State is dynamic; program is static.
Index