Does anyone know if there has been any work in formalizing incremental compilation? It would be great to have some sort of theoretical framework to use as a gu

Does anyone know if there has been any work in formalizing incremental compilation? It would be great to have some sort of theoretical framework to use as a guide when implementing various incremental compilation strategies. There is some (ongoing?) work on low-cost incremental computation by differentiating lambda calculi [1] [2] [3], and it seems like an incremental compiler could maybe be a good use case for it. [1] http://www.informatik.uni-marburg.de/~pgiarrusso/ILC/ http://www.informatik.uni-marburg.de/~pgiarrusso/ILC/ [2] http://bentnib.org/posts/2015-04-23-incremental-lambda-calculus-and-parametricity.html http://bentnib.org/posts/2015-04-23-incremental-lambda-calcu... [3] http://ps.informatik.uni-tuebingen.de/research/ilc/ http://ps.informatik.uni-tuebingen.de/research/ilc/