Demand Interprocedural Program Analysis Using Logic Databases

This publication has 15 references indexed in Scilit:

• Constructing the procedure call multigraph
  IEEE Transactions on Software Engineering, 1990
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Integrating noninterfering versions of programs
  ACM Transactions on Programming Languages and Systems, 1989
• Unfair process scheduling in Modula-2
  ACM SIGPLAN Notices, 1988
• On the power of magic
  Published by Association for Computing Machinery (ACM) ,1987
• Generating editing environments based on relations and attributes
  ACM Transactions on Programming Languages and Systems, 1986
• Experiences using Inmos proto-OCCAM (TM)
  ACM SIGPLAN Notices, 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
• A practical interprocedural data flow analysis algorithm
  Communications of the ACM, 1978
• The method of attributes for data flow analysis
  Acta Informatica, 1978