Ahn9807: 새 문서: 분류: 프로그램밍 언어 이론 분류: 소프트웨어 기반 보안 == 개요 == Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로,...

2023-02-03T06:27:41Z

새 문서: 분류: 프로그램밍 언어 이론 분류: 소프트웨어 기반 보안 == 개요 == Typed assembly language (TAL)이란 Assembly language에서 data type이나 Metadata와 같은 컴파일/디버깅에 도움이 되는 추가적인 정보를 가지고 있는 어셈블리 언어를 말한다. 이러한 추가적인 표시를 가지고 program이 static verification혹은 dynamic verficiation과 같은 일들을 할 수 있도록 한다. 추가적으로,...

새 문서

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

== 개요 ==
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 - 편집 역사