Direct update of data flow representations for a meaning-preserving program restructuring tool

This publication has 26 references indexed in Scilit:

• Interprocedural modification side effect analysis with pointer aliasing
  ACM SIGPLAN Notices, 1993
• A safe approximate algorithm for interprocedural aliasing
  ACM SIGPLAN Notices, 1992
• The semantic approach to program slicing
  ACM SIGPLAN Notices, 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
• Profiling an incremental data flow analysis algorithm
  IEEE Transactions on Software Engineering, 1990
• An incremental version of iterative data flow analysis
  IEEE Transactions on Software Engineering, 1989
• The semantics of program dependence
  ACM SIGPLAN Notices, 1989
• Conditions for incremental iteration: Examples and counterexamples
  Science of Computer Programming, 1988
• Laws of programming
  Communications of the ACM, 1987