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

  title={Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization},
  author={Saumya K. Debray and Todd A. Proebsting},
  journal={ACM Trans. Program. Lang. Syst.},
Knowledge of low-level control flow is essential for many compiler optimizations. In systems with tail-call optimization, the determination of interprocedural control flow is complicated by the fact that because of tail-call optimization, control flow at procedure returns is not readily evident from the call graph of the program. This article shows how interprocedural control-flow analysis of first-order programs can be carried out using well-known concepts from parsing theory. In particular… CONTINUE READING


Publications referenced by this paper.
Showing 1-2 of 2 references

Compilers: Principles, Techniques, and Tools

Addison-Wesley series in computer science / World student series edition • 1986
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…