Compiler optimizations
Functions and mappings
Data-flow analysis
Flow network
Static single assignment form
Call graph
Integral