Efficient Symbolic Analysis of Programs

John H. Reif, Harry R. Lewis. Efficient Symbolic Analysis of Programs. J. Comput. Syst. Sci., 32(3):280-314, 1986.

Abstract

Abstract is missing.