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]

Authors

Saumya K. Debray

This author has not been identified. Look up 'Saumya K. Debray' in Google

Todd A. Proebsting

This author has not been identified. Look up 'Todd A. Proebsting' in Google