Interprocedural analyses: a comparison

DOI10.1016/S0743-1066(99)00058-8MaRDI QIDQ4949939zbMATH OpenFDO

Authors Helmut Seidl, Christian Fecht

Publication date 18 December 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00058-8

zbMATH Keywords

reachability analysis

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Quantitative interprocedural analysis
• Interprocedural analysis and optimization
• Inter-procedural analysis for parallel computing
• Modern methods for interprocedural program analysis
• Computing Procedure Summaries for Interprocedural Analysis
• Interprocedural analysis of asynchronous programs
• Interprocedural analyses of Fortran programs
• Interprocedural Induction Variable Analysis
• On the sequential nature of interprocedural program-analysis problems
• Interprocedural Analysis of Concurrent Programs Under a Context Bound

Cited in

(6)

• Disjunctive relational abstract interpretation for interprocedural program analysis
• Precise interprocedural analysis in the presence of pointers to the stack
• Precise interprocedural analysis through linear algebra
• Interprocedural analysis and optimization
• Relational Reversal of Abstract Interpretation
• Static Analysis

This page was built for publication: Interprocedural analyses: a comparison

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