Scalable certification for typed assembly language (0)

by D GROSSMAN, J G MORRISETT
Venue:In Types in Compilation