Live variable analysis
ALGOL 68
Control
T32
Computing
Programming language theory
Software engineering
Data-flow analysis