R. R. Karinthi Mark Weiser Incremental re-execution of programs. 38-44 1987 conf/pldi/1987 PLDI http://doi.acm.org/10.1145/29650.29654 db/conf/pldi/pldi1987.html#KarinthiW87