Semantic foundations for typed assembly languages

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang

Research output: Contribution to journalArticlepeer-review

27 Scopus citations

Fingerprint

Dive into the research topics of 'Semantic foundations for typed assembly languages'. Together they form a unique fingerprint.

Keyphrases

Computer Science