Accelerating Loops with Arrays

Florian Frohn, Jürgen Giesl

We propose a novel acceleration technique for loops operating on arrays. The goal of acceleration is to characterize the transitive closure of loops in a logic which is suitable fo…