3 ms·Typed Assembly Language: guarantees memory, control flow, and type safety (2002)1 points by blacksqr 8y ago