Efficient computation of flow insensitive interprocedural summary information-Reference-Cited by-同舟云学术

Efficient computation of flow insensitive interprocedural summary information

Published:1984-06 Issue:6 Volume:19 Page:247-258
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Cooper Keith D.¹,Kennedy Ken¹

Affiliation:

1. Rice University, Houston, Texas

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference16 articles.

1. J. Banning "A Method for Determining the Side Effects of Procedure Calls" PhD Dissertation Stanford University Aug. 1978. J. Banning "A Method for Determining the Side Effects of Procedure Calls" PhD Dissertation Stanford University Aug. 1978.

2. A practical interprocedural data flow analysis algorithm

3. M. Burke Private Communication November 1983. M. Burke Private Communication November 1983.

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

1. Incremental and Modular Context-sensitive Analysis;Theory and Practice of Logic Programming;2021-01-19

2. Fixpoint reuse for incremental JavaScript analysis;Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019;2019

3. OpenACC Routine Directive Propagation Using Interprocedural Analysis;Accelerator Programming Using Directives;2019

4. IncA: a DSL for the definition of incremental program analyses;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25

5. Language design and analyzability: a retrospective;Software: Practice and Experience;2011-10-26