Symbolic Program Analysis in Almost-Linear Time

John H. Reif, Robert Endre Tarjan. Symbolic Program Analysis in Almost-Linear Time. SIAM Journal on Computing, 11(1):81-93, 1982.

Abstract

Abstract is missing.