抽象釋義

在計算機科學中 ， 抽象釋義是基於在有序集合特別是格上的單調函數 ， 計算機程序的語義的可靠逼近理論 。 它可以被看作對計算機程序的部分執行 ， 獲取關於它的語義信息 而不進行所有計算 。 它的主要具體應用是形式靜態分析 ， 關於計算機程序的可能執行的信息的自動提取 ； 比如這種分析有兩個主要用途: 在編譯器內部 ， 分析程序來確定特定優化或變換是否是可適用的 ； 針對缺陷類的程序的調試甚至校驗 。 抽象釋義是 Patrick Cousot 和 Radhia Cousot 所形式化的 。