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