Incremental computation of static single assignment form

This publication has 15 references indexed in Scilit:

• Automated assistance for program restructuring
  ACM Transactions on Software Engineering and Methodology, 1993
• Efficient accommodation of may-alias information in SSA form
  Published by Association for Computing Machinery (ACM) ,1993
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Automatic construction of sparse data flow evaluation graphs
  Published by Association for Computing Machinery (ACM) ,1991
• A critical analysis of incremental iterative data flow analysis algorithms
  IEEE Transactions on Software Engineering, 1990
• An interval-based approach to exhaustive and incremental interprocedural data-flow analysis
  ACM Transactions on Programming Languages and Systems, 1990
• An efficient hybrid algorithm for incremental data flow analysis
  Published by Association for Computing Machinery (ACM) ,1990
• An overview of the PTRAN analysis system for multiprocessing
  Journal of Parallel and Distributed Computing, 1988
• Detecting equality of variables in programs
  Published by Association for Computing Machinery (ACM) ,1988
• Invariance of Approximative Semantics with Respect to Program Transformations
  Informatik-Fachberichte, 1981