A Unifying Approach for Control-Flow-Based Loop Abstraction.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Browse the full SEFM paper archive.