Static program analysis
Rope
Accuracy and precision
Data dependency
Bloom filter
Statistics
Thought
Dependence analysis