抽象解释的部分等价逻辑关系模型

抽象解释的部分等价逻辑关系模型

王蓁蓁1,2*

A logical partial equivalencerelation model of abstract interpretation

Wang Zhen-zhen1,2*

南京大学学报(自然科学版) . 2015, (2): 453 -457 .