TAL 문서 원본 보기

[[분류: 프로그램밍 언어 이론]]
[[분류: 소프트웨어 기반 보안]]

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