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