A kripke logical relation between ml and assembly (2011)

by C-K Hur, D Dreyer
Venue:In POPL ’11