다른 명령
새 문서: 분류: 프로그램밍 언어 이론 분류: 소프트웨어 기반 보안 == 개요 == Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로,... |
(차이 없음)
|
2023년 2월 3일 (금) 06:27 기준 최신판
개요
Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로, 이러한 type은 type safety를 달성하는데 이용될 수도 있다. TAL은 주로 High-level memory management (Garbage collection)정책을 가지고 있는 경우가 많다.