抽象解释
小于 1 分钟
抽象解释
抽象解释理论是由P. Cousot和R. Cousot于1977年提出，它是一种在数学模型间进行可靠性近似的理论，本质上是在计算效率与计算精度之间取得均衡，以损失计算精度来减少计算代价。它为不可判定问题的近似求解建立起一个同一的形式化框架。
抽象解释的方法，是从问题所关心的性质出发，建立一个抽象对象域，抽象对象域上的计算代替具体对象域上的计算，并是抽象计算的结果能够反映具体对象域上所关心的性质，即在抽象对象域上对具体对象域进行“抽象解释”。
抽象解释理论是由P. Cousot和R. Cousot于1977年提出，它是一种在数学模型间进行可靠性近似的理论，本质上是在计算效率与计算精度之间取得均衡，以损失计算精度来减少计算代价。它为不可判定问题的近似求解建立起一个同一的形式化框架。
抽象解释的方法，是从问题所关心的性质出发，建立一个抽象对象域，抽象对象域上的计算代替具体对象域上的计算，并是抽象计算的结果能够反映具体对象域上所关心的性质，即在抽象对象域上对具体对象域进行“抽象解释”。