30 citations · 69 across the 9 of their papers we have counts for
1 paper · 1 filter
Sigurd Schneider, Gert Smolka, Sebastian Hack
We study induction on the program structure as a proof method for bisimulation-based compiler correctness. We consider a first-order language with mutually recursive function defin…