Interprocedurally Analysing Linear Inequality Relations
No abstract available.
Related papers
- Precise interprocedural analysis through linear algebra POPL 2004
- Precise interprocedural analysis using random interpretation POPL 2005
- Automatic Discovery of Linear Restraints Among Variables of a Program POPL 1978
- Fast interprocedural linear two-variable equalities TOPLAS 2011
- The Gauge Domain: Scalable Analysis of Linear Inequality Invariants CAV 2012
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities VMCAI 2009
- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors TACAS 2013
- Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers CAV 2009