Abstract
This report is a 2-year NSF research proposal in the area of incremental algorithms for analyzing software systems. The systems of interest can be characterized as large and complex, in the sense that they are written and maintained by many people. The algorithms we are designing will enable people to alter the intermodular structure of such systems and a prt-Or see the side effects of such changes.