There are hundreds of papers on incremental analysis. You can find them in PL conferences like POPL, PLDI, and OOPSLA. You can also find this kind of topic anal

There are hundreds of papers on incremental analysis. You can find them in PL conferences like POPL, PLDI, and OOPSLA. You can also find this kind of topic analyzed from a less theoretical perspective at conferences like FSE and ICSE. It is a hard problem.