7 citations · 8 across the 2 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…