Related Tags
semantics × 170programming-languages × 65
operational-semantics × 25
lambda-calculus × 18
logic × 15
compilers × 14
denotational-semantics × 14
formal-languages × 12
terminology × 12
reference-request × 11
functional-programming × 11
proof-techniques × 9
type-theory × 9
formal-methods × 9
syntax × 9
hoare-logic × 8
small-step-semantics × 7
concurrency × 6
natural-language-processing × 6
software-verification × 5
formal-grammars × 4
notation × 4
model-checking × 4
term-rewriting × 4
evaluation-strategies × 4