抽象释义
在計算機科學中，抽象釋義是基於在有序集合特別是格上的單調函數，電腦程式的語義的可靠逼近理論。它可以被看作對電腦程式的部分執行，獲取關於它的語義信息 (比如，控制結構、信息流) 而不進行所有計算。
它的主要具體應用是形式靜態分析，關於電腦程式的可能執行的信息的自動提取；比如這種分析有兩個主要用途:

在編譯器內部，分析程序來確定特定優化或變換是否是可適用的；
針對缺陷類的程序的調試甚至校驗。抽象釋義是 Patrick Cousot 和 Radhia Cousot 所形式化的。