개요
Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로, 이러한 type은 type safety를 달성하는데 이용될 수도 있다. TAL은 주로 High-level memory management (Garbage collection)정책을 가지고 있는 경우가 많다.