Data-flow analysis
Static single assignment form
Algorithm
Mathematical logic
Theoretical computer science