Abstract acceleration of general linear loops.

Bertrand Jeannet Peter Schrammel Sriram Sankaranarayanan

Published in: POPL (2014)

Keyphrases

special case
digital libraries
closely related
real time
high level
closed form
linear model
data sets
information retrieval
search engine
knowledge base
control system
linear programming