Algebraic properties of program integration

This publication has 8 references indexed in Scilit:

• Integrating noninterfering versions of programs
  ACM Transactions on Programming Languages and Systems, 1989
• Dependence analysis for pointer variables
  ACM SIGPLAN Notices, 1989
• Interprocedural slicing using dependence graphs
  ACM SIGPLAN Notices, 1988
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• A Couple of Novelties in the Propositional Calculus
  Mathematical Logic Quarterly, 1985
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• The program dependence graph in a software development environment
  ACM SIGPLAN Notices, 1984
• On Closed Elements in Closure Algebras
  Annals of Mathematics, 1946