Semantic foundations for typed assembly languages (2008)

by Amal Ahmed , Andrew W. Appel , Christopher D. Richards , Kedar N. Swadi , Gang Tan , Daniel C. Wang
Venue:Prog. Languages and Systems (TOPLAS
Citations:7 - 2 self