Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. R. Allen & K. Kennedy, Automatic translation of FORTRAN program to vector form, ACM Transactions on Programming Languages and Systems 9(4), 491–542, 1987.
2. P. Cousot, & R. Cousot, Static determination of dynamic properties of programs, Proc. 2nd Int. Symp. on Programming, Dunod, Paris, 106–130, 1976.
3. P. Cousot & R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conf. Rec. of the 4th ACM Symp. on Principles of Programming Languages, Los Angeles, Calif., 238–252, 1977.
4. P. Cousot, & R. Cousot, Systematic design of program analysis frameworks, Conf. Rec. of the 6th ACM Symp. on Principles of Programming Languages, San Antonio, Texas, 269–2
5. P. Cousot & N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Conf. Rec. of the 5th ACM Symp. on Principles of Programming Languages, Tucson, Ariz., 84–97, 1978.
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献