支持抽象解释的静态分析方法的形式化体系研究 (Research on Static Analysis Formalism Supporting Abstract Interpretation). - Chi Zhang; Zhiqiu Huang; Zewen Ding (计算机科学, 2017)