Comment on Cooper and Kennedy's flow-insensitive interprocedural summary information computation algorithm

Efficient computation of flow-insensitive interprocedural summary information—a correction

ACM SIGPLAN Notices

Interprocedural side-effect analysis in linear time

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation

A practical interprocedural data flow analysis algorithm

Communications of the ACM

Efficient computation of flow insensitive interprocedural summary information

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction

Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

An efficient way to find the side effects of procedure calls and the aliases of variables

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages