Mathematical logic
Predicate transformer semantics
Logic
Transformer
Function
Interpretation
Data-flow analysis
The Transformers
Mathematics
Formal methods
Program logic