Solving demand versions of interprocedural analysis problems

This publication has 15 references indexed in Scilit:

• Memoing for logic programs
  Communications of the ACM, 1992
• Constructing the procedure call multigraph
  IEEE Transactions on Software Engineering, 1990
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Interprocedural side-effect analysis in linear time
  ACM SIGPLAN Notices, 1988
• The program summary graph and flow-sensitive interprocedual data flow analysis
  ACM SIGPLAN Notices, 1988
• The Alexander Method — A technique for the processing of recursive axioms in deductive databases
  New Generation Computing, 1986
• Generating editing environments based on relations and attributes
  ACM Transactions on Programming Languages and Systems, 1986
• Implementing relational views of programs
  ACM SIGPLAN Notices, 1984
• A practical interprocedural data flow analysis algorithm
  Communications of the ACM, 1978
• The method of attributes for data flow analysis
  Acta Informatica, 1978