Author:
Knoop Jens,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Allen, F. E. Control flow analysis. SIGPLAN Not. 5, 7 (1970), 1–19.
2. Barth, G. Interprozedurale Datenflußsysteme. Habilitationsschrift, University of Kaiserslautern, Germany, 1981.
3. LNCS 145;G. Barth,1983
4. LNCS 456;F. Bourdoncle,1990
5. Cousot, P., and Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings 4 th POPL, Los Angeles, California, 1977, 238–252.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献