Neil D. Jones, Steven S. Muchnick. A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. In POPL. pages 66-74, 1982.
@inproceedings{JonesM82, title = {A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures}, author = {Neil D. Jones and Steven S. Muchnick}, year = {1982}, tags = {program analysis, analysis, data-flow programming, data-flow, data-flow analysis, systematic-approach}, researchr = {https://researchr.org/publication/JonesM82}, cites = {0}, citedby = {0}, pages = {66-74}, booktitle = {POPL}, }