A guess-and-assume approach to loop fusion for program verification.

Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi

Browse the full PEPM paper archive.