Demand interprocedural dataflow analysis

This publication has 16 references indexed in Scilit:

• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• The interprocedural coincidence theorem
  Published by Springer Nature ,1992
• Fast interprocedual alias analysis
  Published by Association for Computing Machinery (ACM) ,1989
• The Alexander Method — A technique for the processing of recursive axioms in deductive databases
  New Generation Computing, 1986
• Interprocedural constant propagation
  ACM SIGPLAN Notices, 1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• Implementing relational views of programs
  Published by Association for Computing Machinery (ACM) ,1984
• An efficient way to find the side effects of procedure calls and the aliases of variables
  Published by Association for Computing Machinery (ACM) ,1979
• The method of attributes for data flow analysis
  Acta Informatica, 1978
• A unified approach to global program optimization
  Published by Association for Computing Machinery (ACM) ,1973