Interprocedural Control Flow Analysis of First-Order Programs with Tail Call Optimization (1996)

by Saumya Debray , Todd A. Proebsting
Venue:In Proceedings of 17th ACM Symposium on Principles of Programming Languages (POPL
Citations:5 - 0 self