Typed_assembly_language
「型付きアセンブリ言語」
コンピュータサイエンス、型付きアセンブリ言語（TALは）であるアセンブリ言語注釈付けの方法含むように拡張されているデータ型コードによって操作される各値のを。これらの注釈は、実行時にアセンブリ言語コードがどのように動作するかを分析するために、アセンブリ言語コードを処理するプログラム（タイプチェッカー）で使用できます。具体的には、このような型チェッカーを使用して、適切な型システムの基準を満たすコードの型安全性を証明できます。
型付きアセンブリ言語には通常、ガベージコレクションに基づく高レベルのメモリ管理システムが含まれています。
適切に表現できる型システムを備えた型付きアセンブリ言語を使用すると、バイトコードなどの中間表現を使用せずに信頼できないコードを安全に実行できるため、Javaや.NETなどの仮想マシン環境で現在提供されている機能と同様の機能が可能になります。
も参照してください
証明付きコード
参考文献
グレッグ・モリセット。タイプとプログラミング言語の高度なトピックの「型付きアセンブリ言語」。編集者：ベンジャミンC.ピアス。
外部リンク
TALx86は、IntelIA -32アーキテクチャ用の型付きアセンブラを実装したコーネル大学の研究プロジェクトです。
このコンピュータサイエンス
このプログラミング言語関連
“