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