A formally verified register allocation framework (2003)

by K D LEE
Venue:Electron. Not. Theor. Comput. Sci