Nonuniform Alias Analysis of Recursive Data Structures and Arrays

This publication has 17 references indexed in Scilit:

• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Evaluating the effectiveness of pointer alias analyses
  Science of Computer Programming, 2001
• Interprocedural may-alias analysis for pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications
  Published by Association for Computing Machinery (ACM) ,1990
• Static analysis of arithmetical congruences
  International Journal of Computer Mathematics, 1989
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977