Типизированный язык ассемблера - Typed assembly language

В Информатика, а типизированный язык ассемблера (TAL) является язык ассемблера который расширен, чтобы включить метод аннотирования тип данных каждого значения, которым управляет код. Эти аннотации могут затем использоваться программой (средством проверки типов), которая обрабатывает код языка ассемблера, чтобы проанализировать, как он будет вести себя при выполнении. В частности, такую ​​проверку типов можно использовать для подтверждения безопасность типа кода, отвечающего критериям некоторых подходящих система типов.

Типизированные языки ассемблера обычно включают систему управления памятью высокого уровня, основанную на вывоз мусора.

Типизированный язык ассемблера с достаточно выразительной системой типов может использоваться для обеспечения безопасного выполнения ненадежного кода без использования промежуточного представления, такого как байт-код, что позволяет использовать функции, аналогичные тем, которые в настоящее время предоставляются средами виртуальных машин, например Ява и .СЕТЬ.

Смотрите также

• Код подтверждения

дальнейшее чтение

• Грег Моррисетт. «Типизированный язык ассемблера» в Продвинутые темы по типам и языкам программирования. Редактор: Бенджамин С. Пирс.

внешняя ссылка

• TALx86, исследовательский проект Корнельского университета, в котором реализован типизированный ассемблер для Intel IA-32 архитектура.