A general data dependence test for dynamic, pointer-based data structures

This publication has 27 references indexed in Scilit:

• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Analysis of dynamic structures for efficient parallel execution
  Published by Springer Nature ,1994
• Pointer-induced aliasing
  ACM SIGPLAN Notices, 1993
• Designing the McCAT compiler based on a family of structured intermediate representations
  Published by Springer Nature ,1993
• Undecidability of static analysis
  ACM Letters on Programming Languages and Systems, 1992
• Parallelizing programs with recursive data structures
  IEEE Transactions on Parallel and Distributed Systems, 1990
• The interprocedural analysis and automatic parallelization of Scheme programs
  Higher-Order and Symbolic Computation, 1989
• Effect analysis in higher-order languages
  International Journal of Parallel Programming, 1989
• Analysis of functional programs to detect run-time garbage cells
  ACM Transactions on Programming Languages and Systems, 1988
• Advanced compiler optimizations for supercomputers
  Communications of the ACM, 1986