Typed assembly language とは

コンピュータサイエンスでは、型付きアセンブリ言語(TAL)は、アセンブリ言語であり、コードによって操作される各値のデータ型に注釈を付けるメソッドを含むように拡張されています。これらの注釈は、実行時にどのように動作するかを分析するためにアセンブリ言語コードを処理するプログラム(型チェッカー)によって使用できます。具体的には、このようなタイプチェッカーを使用して、適切なタイプのシステムの基準を満たすコードのタイプ安全性を証明することができます。
型付きアセンブリ言語には、通常、ガベージコレクションに基づく高水準メモリ管理システムが含まれています。
Javaや.NETなどの仮想マシン環境で現在提供されているものと同様の機能を可能にする、バイトコードのような中間表現を使用せずに、信頼できないコードの安全な実行を可能にするために、適切な表現型システムを持つ型付きアセンブリ言語を使用できます。