Pages that link to "Operational semantics"
The following pages link to Operational semantics:
Displaying 13 items.
- Abstract data type (← links | edit)
- Functional programming (← links | edit)
- Priority queue (← links | edit)
- Static program analysis (← links | edit)
- SECD machine (← links | edit)
- Semantics (← links | edit)
- Turing Award (← links | edit)
- Simulation (← links | edit)
- Denotational semantics (← links | edit)
- Interpreter (computing) (← links | edit)
- Closure (computer programming) (← links | edit)
- Standard ML (← links | edit)
- Vienna Development Method (← links | edit)