A Method for Analyzing Loop Programs

Richard C. Waters. A Method for Analyzing Loop Programs. IEEE Trans. Software Eng., 5(3):237-247, 1979.

Abstract

Abstract is missing.