Computing Procedure Summaries for Interprocedural Analysis-Reference-Cited by-同舟云学术

Computing Procedure Summaries for Interprocedural Analysis

Published:2007 Issue: Volume: Page:253-267
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Gulwani Sumit,Tiwari Ashish

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71316-6_18

Reference20 articles.

1. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: 15th Annual ACM Symposium on POPL, pp. 1–11. ACM Press, New York (1988)

2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th Annual ACM Symposium on POPL, pp. 234–252. ACM Press, New York (1977)

3. Gargi, K.: A sparse algorithm for predicated global value numbering. ACM SIGPLAN Notices (PLDI) 37(5), 45–56 (2002)

4. Lecture Notes in Computer Science;S. Gulwani,2004

5. Lecture Notes in Computer Science;S. Gulwani,2006

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ER catcher;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

2. Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis;Lecture Notes in Computer Science;2019

3. Evaluating Design Tradeoffs in Numeric Static Analysis for Java;Programming Languages and Systems;2018

4. Synthesis with Abstract Examples;Computer Aided Verification;2017

5. Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs;Static Analysis;2016