Induction Variables in Very High Level Languages.

Amelia C. Fong, Jeffrey D. Ullman

Browse the full POPL paper archive.