Static validation of register allocation (2006)

by F M Q PEREIRA