Validating register allocation and spilling (2010)

by S Rideau, X Leroy
Venue:In Proc. of CC 2010, volume 6011 of LNCS