no code implementations • 4 Mar 2016 • Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper
In this paper we discuss how semantic annotations can be used to introduce mathematical algorithmic information of the underlying imperative code to enable compilers to produce code transformations that will enable better performance.