Semantic foundations for typed assembly languages (2010)

by Amal Ahmed, Andrew W Appel, Christopher D Richards, Kedar N Swadi, Gang Tan, Daniel C Wang
Venue:ACM Transactions on Programming Languages and Systems