The Static Analysis of Linear Loops.

Michael Lvov, Yulia Tarasich

Browse the full ICTERI paper archive.