Interprocedural control flow analysis of first-order programs with tail-call optimization (1997)

by S K Debray, T A Proebsting
Venue:ACM Transactions on Programming Languages and Systems