Dynamic points-to sets

This publication has 15 references indexed in Scilit:

• Calpa
  Published by Association for Computing Machinery (ACM) ,2000
• The store-load address table and speculative register promotion
  Published by Association for Computing Machinery (ACM) ,2000
• Which pointer analysis should I use?
  Published by Association for Computing Machinery (ACM) ,2000
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Type-based alias analysis
  Published by Association for Computing Machinery (ACM) ,1998
• The undecidability of aliasing
  ACM Transactions on Programming Languages and Systems, 1994
• Efficient detection of all pointer and array access errors
  Published by Association for Computing Machinery (ACM) ,1994
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Dynamic memory disambiguation for array references
  Published by Association for Computing Machinery (ACM) ,1994
• Interprocedural modification side effect analysis with pointer aliasing
  Published by Association for Computing Machinery (ACM) ,1993