Author:
Hill Patricia M.,Spoto Fausto
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. D. F. Bacon and P. F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proc. of OOPSLA’96, volume 31(10) of ACM SIGPLAN Notices, pages 324–341, New York, 1996. ACM Press.
2. B. Blanchet. Escape Analysis for Object Oriented Languages. Application to JavaTM. In OOPSLA’99, volume 34(10) of SIGPLAN Notices, pages 20–34, 1999.
3. R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, 35(8):677–691, 1986.
4. Lect Notes Comput Sci;M. Codish,1994
5. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. of POPL’77, pages 238–252, 1977.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic programs as compact denotations;Computer Languages, Systems & Structures;2003-10
2. Modular Class Analysis with DATALOG;Static Analysis;2003