Algebra-Based Loop Synthesis.

Andreas Humenberger, Nikolaj S. Bjrner, Laura Kovcs

Browse the full IFM paper archive.