A kripke logical relation between ml and assembly (2011)

by C K Hur, D Dreyer
Venue:in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM