The following pages link to Axiomatic semantics:
Displayed 12 items.
- Abstract data type (← links | edit)
- Computer program (← links | edit)
- Static program analysis (← links | edit)
- Semantics (← links | edit)
- Tony Hoare (← links | edit)
- Denotational semantics (← links | edit)
- Formal verification (← links | edit)
- Operational semantics (← links | edit)
- Semantics (computer science) (← links | edit)
- List of terms relating to algorithms and data structures (← links | edit)
- Extended ML (← links | edit)
- Predicate transformer semantics (← links | edit)