Incremental data dependence analysis

Under the existing framework for dependence analysis, every time a program is modified, exhaustive reanalysis has to be carried out to restructure the program. Often the changes in the program may be limited to a small portion. This may not affect a major part of the value based dependences. Therefore, a framework for incremental dependence analysis which would only recompute dependences pertaining to modified code, is desirable. Incremental analyzers modify only the affected parts of the solution, and hence can quickly reflect the affect of the changes on the solutions. In this work we present a framework for incremental dependence analysis for value based dependences