Building a bridge between pointer aliases and program dependences

This publication has 6 references indexed in Scilit:

• Fast and accurate flow-insensitive points-to analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Solving shape-analysis problems in languages with destructive updating
  Published by Association for Computing Machinery (ACM) ,1996
• Generation of efficient interprocedural analyzers with PAG
  Published by Springer Nature ,1995
• Interprocedural modification side effect analysis with pointer aliasing
  Published by Association for Computing Machinery (ACM) ,1993
• Parallelizing programs with recursive data structures
  IEEE Transactions on Parallel and Distributed Systems, 1990
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987