Interprocedural Induction Variable Analysis

DOI10.1142/S0129054103001819zbMath1101.68469OpenAlexW2008498222MaRDI QIDQ5696918

Peiyi Tang, Pen-Chung Yew

Publication date: 19 October 2005

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054103001819

zbMATH Keywords

call graphsextended full program representation graphsinduction variable analysisinterprocedural induction variablesinterprodural factored use-def graphsrecursive procedure call

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• An algorithm for reduction of operator strength
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interprocedural Induction Variable Analysis