基于抽象解释的变量值范围分析及应用

王雅文;宫云战;肖庆;杨朝红

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

WANG Ya-wen;GONG Yun-zhan;XIAO Qing;YANG Zhao-hong

电子学报 . 2011, (2): 296 -303 .