Computing Procedure Summaries for Interprocedural Analysis
From MaRDI portal
Recommendations
Cited in
(19)- Context unification with one context variable
- Unbounded procedure summaries from bounded environments
- Disjunctive relational abstract interpretation for interprocedural program analysis
- Summary-based inter-procedural analysis via modular trace refinement
- Precondition inference from intermittent assertions and application to contracts on collections
- Model checking procedural programs
- Generating precise and concise procedure summaries
- Invariant Checking for Programs with Procedure Calls
- Summarizing procedures in concurrent programs
- scientific article; zbMATH DE number 3947596 (Why is no real title available?)
- scientific article; zbMATH DE number 1834573 (Why is no real title available?)
- Interprocedural analyses: a comparison
- Summarized dimensions revisited
- Precise interprocedural analysis using random interpretation
- Programming Languages and Systems
- Underapproximation of procedure summaries for integer programs
- Upper Adjoints for Fast Inter-procedural Variable Equalities
- Interprocedurally Analysing Linear Inequality Relations
- Static Analysis
This page was built for publication: Computing Procedure Summaries for Interprocedural Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756498)
