Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Browse the full ICTAC paper archive.