Home
Language Semantics and Implementation Notes
The interweb
barrywatson.se
Alpha conversion
Applicative order reduction
Beta reduction
Bound variable
Categorical Abstract Machine (CAM)
Compound definitions
Declarations in imperative languages
Delta reduction
Environment based dynamic semantics
Environments
Equivalence of structured transition semantics and relational semantics definitions (proof)
Equivalence of substitution based dynamic semantics and environment based dynamic semantics (proof)
Exceptions
Free variable
FUN (simple example of a functional language)
Head normal form
IMP (simple example of an imperative language)
Induction on the length of computation
Inductively defined subsets
Krivine's machine
Labelled terminal transition system
Labelled transition system
Lambda calculus
Mathematical induction
Monogenicity
Nameless lambda calculus
Normal form
Normal order reduction
Parasitic binding
Relational semantics
SEMCD machine
SMC machine
Stochastic Prolog
Structural induction
Structured transition semantics
Substitution based dynamic semantics
Substitutions
Terminal transition system
Transition system
Weak head normal form
Copyright © 2014
Barry Watson
. All rights reserved.