Construction of a semantic model for a typed assembly language (2004)

by Gang Tan, Andrew W Appel, Kedar N Swadi, Dinghao Wu
Venue:In Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 04