Abstract Acceleration of General Linear Loops
Bertrand Jeannet‚ Peter Schrammel and Sriram Sankaranarayanan
Book Title
Principles of Programming Languages‚ POPL'14
Pages
529−540
Volume
to appear
Year
2014
Bertrand Jeannet‚ Peter Schrammel and Sriram Sankaranarayanan