抽象解释主要被应用于程序静态分析领域,但作为一种理论思想,抽象解释应用在其他问题领域也是可能的
评论