[1] Cousot P, Cousot, R. Temporal abstract interpretation [C]// Proceedings of the 27th ACM Symposium on Principles of Programming Languages. Boston, USA: ACM Press, 2000: 12-25. [2] Giacobazzi R, Ranzato F, Scozzari F. Making abstract interpretations complete [J]. Journal of the ACM 2000, 47(2): 361-416. [3] Cousot P, Cousot R. Systematic design of program analysis frameworks [C] // Proceedings of the 6th ACM Symposium on Principles of Programming Languages. San Antonio, USA: ACM Press, 1979: 269-282. [4] Cousot P, Cousot R. Abstract interpretation frameworks [J]. Journal of Logic and Computation, 1992, 2(4): 511-547. [5] Mitchell J C.程序设计语言理论基础[M]. 许满武, 徐建, 衷宜, 等译, 北京: 电子工业出版社, 2006. [6] Cousot P, Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints [C] // Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages. Los Angeles, USA: ACM Press, 1977: 238-252. [7] Ranzato F, Tapparo F. Generalized strong preservation by abstract interpretation [J]. Journal of Logic and Computation, 2007, 17(1): 157-197. [8] Ranzato F, Tapparo F. Strong preservation of temporal fixpoint-based operators by abstract interpretation [C]// Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation. Charleston, USA: Springer, 2006: 332-347. [9] Mayer W, Stumptner M. Abstract interpretation of programs for model-based debugging [C]// Proceedings of the 20th International Joint Conference on Artificial Intelligence. San Francisco, USA: Morgan Kaufmann Publishers, 2007: 471-476. [10] 高鹰, 陈意云. 基于抽象解释的代码迷惑有效性比较框架[J]. 计算机学报, 2007, 30(5): 806-814. [11] 杨波, 张明义, 谢刚. 抽象解释理论框架及其应用[J]. 计算机工程与应用, 2010, 46(8): 16-20. [12] 李梦君, 李舟军, 陈火旺. 抽象解释理论的程序验证技术[J]. 软件学报, 2008, 19(1): 17-26. |