「抽象解釈」を解説文に含む見出し語の検索結果(1～10/52件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「コンピュータプログラムの抽象解釈」の解説プログラミング言語や...
ナビゲーションに移動検索に移動疎な条件分岐を考慮した定数伝播（英: Sparse conditional constant propagation）とは、計算機科学におけるコンパイラ最適化手法の一つで...
ナビゲーションに移動検索に移動疎な条件分岐を考慮した定数伝播（英: Sparse conditional constant propagation）とは、計算機科学におけるコンパイラ最適化手法の一つで...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/20 16:21 UTC 版)「静的コード解析」の記事における「形式手法」の解説形式手法は、ソフトウェアやハードウェア...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「抽象領域の例」の解説プログラムのある時点で、変数 x に代入...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「直観的解説」の解説コンピュータ以外の実世界の例で、抽象解釈の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「形式的定義」の解説L を concrete set（具体集合...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「意味論間の関係」の解説場合によっては、異なる意味論間...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 16:28 UTC 版)「表示的意味論」の記事における「計算機科学の他の領域との関連」の解説表示的意味論は領域理...
ナビゲーションに移動検索に移動抽象解釈（ちゅうしょうかいしゃく、英: Abstract interpretation）は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合（特に...
< 前の結果 | 次の結果 >
>>
「抽象解釈」の辞書の解説