Construction of a Semantic Model for a Typed Assembly Language.

Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu

Browse the full VMCAI paper archive.