program logic
C17274
concept
Program logic is the structured set of rules, conditions, and sequences that determine how a program processes input, makes decisions, and produces output.
All labels observed (1)
| Label | Occurrences |
|---|---|
| program logic canonical | 1 |
Instances (1)
| Instance | Via concept surface |
|---|---|
| Hoare logic | — |