Related Tags
semantics × 166programming-languages × 62
operational-semantics × 25
lambda-calculus × 18
logic × 15
denotational-semantics × 14
formal-languages × 12
terminology × 12
compilers × 12
reference-request × 11
functional-programming × 11
proof-techniques × 9
formal-methods × 9
type-theory × 8
hoare-logic × 8
syntax × 7
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