Network theory
Shortest path problem
Algorithm
Control flow analysis
Heuristic function
Call graph
Mathematics
Graph theory
Theoretical computer science