型に基づくエイリアス解析とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 型に基づくエイリアス解析の意味・解説 

型に基づくエイリアス解析

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2009/08/30 03:50 UTC 版)

エイリアス解析」の記事における「型に基づくエイリアス解析」の解説

プログラミング言語が型安全にコンパイルされ、コンパイラの型チェック正しく、さらにローカル変数参照することができない(MLHaskell, Java など)とすると、有益な最適化を行うことが可能である。二つメモリ位置異なエイリアス領域内にあることが既知である状況多数ある。 異なる型の二つ変数は同じエイリアス領域にない。強く型付けられた情報で、メモリへの参照禁止された(メモリへの参照直接変更することができない言語異なる型の二つ変数は、同時に同じメモリ領域共有することができないためである。 現在のスタックフレーム局所的な変数割り当ては、以前別のスタックからの割り当てと同じエイリアス領域存在しない。これは、新しメモリ割り当ては、他のすべてのメモリ割り当てから参照されないためである。 レコード型構造体)の各フィールドは、自分エイリアス領域を持つ。一般的には型付け原則として、同じ型のレコードしか参照することができない。ある型のすべてのレコードメモリ内で同一形式であるから自分自身に対してしかエイリアスすることができない同様に、ある型の配列自分エイリアス領域を持つ。 コードに対してエイリアス解析を行う際、メモリへの各ロードストア領域ごとにラベル付けされる必要がある。すると、与えられメモリ領域に対して重要な特性 Ai Bj すなわちエイリアス領域 i,j を得る。i = j ならば、AiBjエイリアスする可能性があり、 であればエイリアスしない。

※この「型に基づくエイリアス解析」の解説は、「エイリアス解析」の解説の一部です。
「型に基づくエイリアス解析」を含む「エイリアス解析」の記事については、「エイリアス解析」の概要を参照ください。

ウィキペディア小見出し辞書の「型に基づくエイリアス解析」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「型に基づくエイリアス解析」の関連用語

型に基づくエイリアス解析のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



型に基づくエイリアス解析のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのエイリアス解析 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS