Abstract acceleration of general linear loops.

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

Browse the full POPL paper archive.