Construction of a Semantic Model for a Typed Assembly Language (2004)

by Gang Tan , Andrew W. Appel , Kedar N. Swadi , Dinghao Wu
Venue:In Proc. of VMCAI ’04
Citations:14 - 3 self