Incremental data flow analysis

Barbara G. Ryder
1983 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83  
In this paper we present ACINCF and ACINCB, incremental update algorithms for forward and backward
doi:10.1145/567067.567084 dblp:conf/popl/Ryder83 fatcat:wxiszi2fqnhhrfvifzxzhk6riu