Software engineering
Computing
Formal methods
Refinement
FDR
Model checking
Prolog
Algorithm
Predicate transformer semantics
Type system
Abstract machine
XSB