Category:Programming language semantics

A

• Axiomatic semantics (1 C, 1 P)

D

• Denotational semantics (1 C, 7 P)

O

• Operational semantics (1 C, 4 P)

• Semantics (computer science)

A

• Action semantics
• Algebraic semantics (computer science)
• Axiomatic semantics

C

• Call-by-push-value

D

• Denotational semantics

E

• Execution semantics

F

• Full abstraction

J

• J operator

L

• Liskov substitution principle
• Logical relations

N

• Natural semantics
• Normalisation by evaluation

O

• Observational equivalence
• Operational semantics

R

• Refocusing (semantics)

U

• Unifying Theories of Programming