956 citations · 1.5k across the 16 of their papers we have counts for
1 paper · 1 filter
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…