Amal Ahmed et al.: Semantic foundations for typed assembly languages. (2010)journals/toplas/AhmedARSTW1010.1145/1709093.1709094Q60142686Semantic foundations for typed assembly languages.6Amal Ahmed 00011Andrew W. Appel2Christopher D. Richards3Kedar N. Swadi4Gang Tan5Daniel C. Wang67:1-7:67ACM Trans. Program. Lang. Syst.ACM Trans. Program. Lang. Syst.3232010provenance information for RDF data of dblp record 'journals/toplas/AhmedARSTW10'2022-07-05T08:30:28+0200