axiomatic semantics
C17275
concept
Axiomatic semantics is a formal method for defining the meaning of programs by specifying logical assertions (preconditions and postconditions) that describe the behavior and correctness of program constructs.
Observed surface forms (2)
- Hoare-style program logic ×1
- predicate transformer calculus ×1
Instances (2)
- Hoare logic
- Dijkstra weakest precondition calculus via concept surface "predicate transformer calculus"