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

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

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

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

См. также

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

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

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

Внешние ссылки

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