Translating Program Schemas to While-Schemes

Edward A. Ashcroft, Zohar Manna. Translating Program Schemas to While-Schemes. SIAM J. Comput., 4(2):125-146, 1975.

Abstract

Abstract is missing.