문서 편집 권한이 없습니다. 다음 이유를 확인해주세요: 요청한 명령은 다음 권한을 가진 사용자에게 제한됩니다: 사용자. 문서의 원본을 보거나 복사할 수 있습니다. [[분류: 프로그램밍 언어 이론]] [[분류: 소프트웨어 기반 보안]] == 개요 == Typed assembly language (TAL)이란 [[Assembly language]]에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 [[static verification]]혹은 [[dynamic verficiation]]과 같은 일들을 할 수 있도록 한다. 추가적으로, 이러한 type은 [[type safety]]를 달성하는데 이용될 수도 있다. TAL은 주로 High-level memory management ([[Garbage collection]])정책을 가지고 있는 경우가 많다. TAL 문서로 돌아갑니다.