Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)

A. J. Kfoury

Browse the full FOCS paper archive.