입력된 어셈블리 언어
Typed assembly language |
컴퓨터 과학에서 TAL(typeed assembly language)은 코드로 조작되는 각 값의 데이터 유형에 주석을 달 수 있는 방법을 포함하도록 확장된 조립 언어다.그런 다음 이러한 주석은 조립 언어 코드가 실행될 때 어떻게 동작할지 분석하기 위해 조립 언어 코드를 처리하는 프로그램(유형 검사기)에 의해 사용될 수 있다.구체적으로, 그러한 타입 체커는 어떤 적절한 타입 시스템의 기준을 충족하는 코드의 타입 안전성을 증명하는 데 사용될 수 있다.
타이핑된 어셈블리 언어는 대개 가비지 수집에 기반한 높은 수준의 메모리 관리 시스템을 포함한다.
적절하게 표현형 시스템이 있는 타이핑된 어셈블리 언어를 사용하면 바이트 코드와 같은 중간 표현을 사용하지 않고도 신뢰할 수 없는 코드를 안전하게 실행할 수 있으며, 자바 및 와 같은 가상 시스템 환경에서 현재 제공되는 기능과 유사한 기능을 사용할 수 있다.네트.
