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.
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/
[2] http://bentnib.org/posts/2015-04-23-incremental-lambda-calcu...
[3] http://ps.informatik.uni-tuebingen.de/research/ilc/