抽象解释理论框架及其应用

抽象解释理论框架及其应用

杨波 ^1，2，张明义 ³，谢刚 ⁴

Abstract interpretation theory and its application

YANG Bo ^1，2，ZHANG Ming-yi ³，XIE Gang ⁴

计算机工程与应用 . 2010, (8): 16 -20 . DOI: 10.3778/j.issn.1002-8331.2010.08.005