Computing Procedure Summaries for Interprocedural Analysis
From MaRDI portal
Publication:5756498
DOI10.1007/978-3-540-71316-6_18zbMATH Open1187.68153OpenAlexW2156045808MaRDI QIDQ5756498FDOQ5756498
Authors: Sumit Gulwani, Ashish Tiwari 
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_18
Recommendations
Cited In (19)
- Summarized dimensions revisited
- Underapproximation of procedure summaries for integer programs
- Unbounded procedure summaries from bounded environments
- Summarizing procedures in concurrent programs
- Precise interprocedural analysis using random interpretation
- Model checking procedural programs
- Summary-based inter-procedural analysis via modular trace refinement
- Title not available (Why is that?)
- Static Analysis
- Invariant Checking for Programs with Procedure Calls
- Interprocedural analyses: a comparison
- Programming Languages and Systems
- Disjunctive relational abstract interpretation for interprocedural program analysis
- Context unification with one context variable
- Interprocedurally Analysing Linear Inequality Relations
- Generating precise and concise procedure summaries
- Precondition inference from intermittent assertions and application to contracts on collections
- Title not available (Why is that?)
- Upper Adjoints for Fast Inter-procedural Variable Equalities
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)
