Category:Programming language semantics
Pages in category "Category:Programming language semantics"
- Semantics (computer science)
- Action semantics
- Algebraic semantics (computer science)
- Axiomatic semantics
- Call-by-push-value
- Denotational semantics
- Execution semantics
- Full abstraction
- J operator
- Liskov substitution principle
- Logical relations
- Natural semantics
- Normalisation by evaluation
- Observational equivalence
- Operational semantics
- Refocusing (semantics)
- Unifying Theories of Programming
- Category:Axiomatic semantics
- Category:Denotational semantics
- Category:Operational semantics