Ultra-fast aliasing analysis using CLA

This publication has 13 references indexed in Scilit:

• Off-line variable substitution for scaling points-to analysis
  Published by Association for Computing Machinery (ACM) ,2000
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Projection merging
  Published by Association for Computing Machinery (ACM) ,2000
• On the Complexity Analysis of Static Analyses
  Published by Springer Nature ,1999
• Physical type checking for C
  Published by Association for Computing Machinery (ACM) ,1999
• Partial online cycle elimination in inclusion constraint graphs
  Published by Association for Computing Machinery (ACM) ,1998
• Componential set-based analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Points-to analysis in almost linear time
  Published by Association for Computing Machinery (ACM) ,1996
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993