0004以下、5ちゃんねるからVIPがお送りします垢版 | 大砲2022/02/13(日) 10:46:32.696ID:IrGmegvg0 >>2 抽象解釈は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行をするものと見ることができ、それによりプログラムの意味に関する情報を獲得する。