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

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]

Abstract

Abstract is missing.