Incremental data flow analysis in a structured program editorFrank Kenneth Zadeck1984SIGPLAN Symposium on Compiler Construction 1984