Symbolic Program Analysis in Almost-Linear Time (0)

by J H REIF, R E TARJAN
Venue:SIAM Journal of Computing