Interprocedural Induction Variable Analysis

DOI10.1142/S0129054103001819MaRDI QIDQ5696918zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1975605
• scientific article; zbMATH DE number 1693491
• Interprocedural analysis and optimization
• Unified interprocedural parallelism detection
• Modern methods for interprocedural program analysis

Cites work

• An algorithm for reduction of operator strength
• scientific article; zbMATH DE number 814824 (Why is no real title available?)
• scientific article; zbMATH DE number 830853 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)

Cited in

(6)

• scientific article; zbMATH DE number 1693491 (Why is no real title available?)
• Beyond Iteration Vectors: Instancewise Relational Abstract Domains
• scientific article; zbMATH DE number 1975605 (Why is no real title available?)
• Interprocedural analyses: a comparison
• Modern methods for interprocedural program analysis
• Analysis of Knoop indentation

This page was built for publication: Interprocedural Induction Variable Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696918)