Demand Interprocedural Program Analysis Using Logic Databases-Reference-Cited by-同舟云学术

Demand Interprocedural Program Analysis Using Logic Databases

Published:1995 Issue: Volume: Page:163-196
ISSN:
Container-title:Applications of Logic Databases
language:
Short-container-title:

Author:

Reps Thomas W.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-2207-2_8

Reference43 articles.

1. F.E. Allen. Interprocedural data flow analysis. In Information Processing 74: Proceedings of the IFIP Congress 74, pages 398–408, 1974.

2. U. Assmann. On edge addition rewrite systems and their relevance to program analysis. Unpublished report, GMD Forschungsstelle Karlsruhe, Karlsruhe, Germany, 1993.

3. W.A. Babich and M. Jazayeri. The method of attributes for data flow analysis: Part II. Demand analysis. Acta Informatica, 10(3):265–272, October 1978.

4. L. Badger and M. Weiser. Minimizing communication for synchronizing parallel dataflow programs. In Proceedings of the 1988 International Conference on Parallel Processing, St. Charles, IL, August 1988.

5. F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman. Magic sets and other strange ways to implement logic programs In Proceedings of the Fifth ACM Symposium on Principles of Database Systems, 1986.

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

1. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05

2. From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems;Proceedings of the ACM on Programming Languages;2023-01-09

3. Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth;Lecture Notes in Computer Science;2023

4. JavaDL: automatically incrementalizing Java bug pattern detection;Proceedings of the ACM on Programming Languages;2021-10-20

5. Formulog: Datalog for SMT-based static analysis;Proceedings of the ACM on Programming Languages;2020-11-13