Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

This publication has 24 references indexed in Scilit:

• Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
  Published by Springer Nature ,2004
• Stack allocation and synchronization optimizations for Java using escape analysis
  ACM Transactions on Programming Languages and Systems, 2003
• Client-Driven Pointer Analysis
  Published by Springer Nature ,2003
• Estimating the Impact of Scalable Pointer Analysis on Optimization
  Published by Springer Nature ,2001
• Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C
  Published by Springer Nature ,2000
• On the Complexity Analysis of Static Analyses
  Published by Springer Nature ,1999
• Efficient Points-to Analysis for Whole-Program Analysis
  Published by Springer Nature ,1999
• Interprocedural pointer alias analysis
  ACM Transactions on Programming Languages and Systems, 1999
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
  Published by Elsevier ,1971