A new model of program dependences for reverse engineering

This publication has 14 references indexed in Scilit:

• Interprocedural def-use associations for C systems with single level pointers
  IEEE Transactions on Software Engineering, 1994
• Abstract analysis with aspect
  Published by Association for Computing Machinery (ACM) ,1993
• Using program slicing in software maintenance
  IEEE Transactions on Software Engineering, 1991
• A reusable toolset for software dependency analysis
  Journal of Systems and Software, 1991
• A formal model of program dependences and its implications for software testing, debugging, and maintenance
  IEEE Transactions on Software Engineering, 1990
• Interprocedural slicing using dependence graphs
  ACM Transactions on Programming Languages and Systems, 1990
• Approximate reasoning about the semantic effects of program changes
  IEEE Transactions on Software Engineering, 1990
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Information-flow and data-flow analysis of while-programs
  ACM Transactions on Programming Languages and Systems, 1985
• The program dependence graph in a software development environment
  Published by Association for Computing Machinery (ACM) ,1984