1 paper
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 cod…