9 citations · 9 across the 1 of their papers we have counts for
1 paper
Andrew W. Appel, Sandrine Blazy
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor…