Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: POPL’77, ACM Press, Los Angeles, CA, 1977, pp. 238–252.
2. P. Cousot, R. Cousot, Systematic design of program analysis frameworks, in: POPL’79, ACM Press, San Antonio, Texas, 1979, pp. 269–282.
3. P. Cousot, R. Cousot, Modular static program analysis, in: Lecture Notes in Computer Science, Vol. 2304, Springer, Berlin, 2002, pp. 159–178.
4. Mathematical Theory of Program Correctness;de Bakker,1980
5. D.L. Detlefs, K.R.M. Leino, G. Nelson, J.B. Saxe, Extended static checking, Research Report 159, Compaq Systems Research, December, 1998.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献