<A HREF="http://www.cs.cornell.edu/talc/">TAL</A> is an *(acronym) for Typed Assembly Language, which extends traditional untyped *(assembly) languages with typing annotations, memory management primitives, and a sound set of typing rules.