Michael G. Burke. An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. ACM Transactions on Programming Languages and Systems, 12(3):341-395, 1990. [doi]
@article{Burke90, title = {An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis}, author = {Michael G. Burke}, year = {1990}, doi = {10.1145/78969.78963}, url = {http://doi.acm.org/10.1145/78969.78963}, tags = {rule-based, analysis, data-flow, data-flow analysis, incremental, systematic-approach}, researchr = {https://researchr.org/publication/Burke90}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {12}, number = {3}, pages = {341-395}, }