在計算機科學中,抽象釋義是基於在有序集合特別是格上的單調函數,電腦程式的語義的可靠逼近理論。它可以被看作對電腦程式的部分執行,獲取關於它的語義信息(比如,控制結構、信息流)而不進行所有計算。
| 此條目沒有列出任何參考或來源。 (2014年10月8日) |
它的主要具體應用是形式靜態分析,關於電腦程式的可能執行的信息的自動提取;比如這種分析有兩個主要用途:
- 在編譯器內部,分析程序來確定特定優化或變換是否是可適用的;
- 針對缺陷類的程序的調試甚至校驗。
抽象釋義是 Patrick Cousot 和 Radhia Cousot 所形式化的。