Interprocedural heap analysis for parallelizing imperative programs

This publication has 9 references indexed in Scilit:

• Designing programming languages for analyzability: a fresh look at pointer data structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• 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
• Abstractions for recursive pointer data structures
  Published by Association for Computing Machinery (ACM) ,1992
• Edge: An extendible graph editor
  Software: Practice and Experience, 1990
• Analysis of pointers and structures
  Published by Association for Computing Machinery (ACM) ,1990
• Dependence analysis for pointer variables
  Published by Association for Computing Machinery (ACM) ,1989
• An efficient method of computing static single assignment form
  Published by Association for Computing Machinery (ACM) ,1989
• Detecting conflicts between structure accesses
  Published by Association for Computing Machinery (ACM) ,1988
• A flexible approach to interprocedural data flow analysis and programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1982