Saumya K. Debray, Todd A. Proebsting. Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. ACM Transactions on Programming Languages and Systems, 19(4):568-585, 1997. [doi]
@article{DebrayP97,
title = {Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization},
author = {Saumya K. Debray and Todd A. Proebsting},
year = {1997},
doi = {10.1145/262004.262006},
url = {http://doi.acm.org/10.1145/262004.262006},
tags = {optimization, program analysis, analysis, data-flow programming, data-flow, program optimization, data-flow analysis},
researchr = {https://researchr.org/publication/DebrayP97},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {19},
number = {4},
pages = {568-585},
}