Typed Assembly Language: guarantees memory, control flow, and type safety (2002)cs.cornell.edu1 pointblacksqr7 years ago