名詞

抽象解釈

読

チュウショウカイシャク

韻

ううおうあいあう

抽象解釈は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合（特に束）における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行（ある種の部分評価）をするものと見ることができ、それによりプログラムの意味に関する情報（例えば、制御構造、情報の流れなど）を獲得する。 (出典: 抽象解釈 - Wikipedia)

追加ワード数

01/17
305個のワードが追加されました。 01/16
275個のワードが追加されました。 01/15
190個のワードが追加されました。 01/14
248個のワードが追加されました。 01/13
108個のワードが追加されました。

お知らせ

2024/05/24 20:19
文章解析の結果の取得方法を変更しました。 2024/05/23 16:38
品詞の種類を追加しました 2024/05/22 10:00
検索中の表示を更新しました 2024/05/22 00:00
サイトの公開を開始しました