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