An Abstract Domain to Discover Interval Linear Equalities
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 112-128
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Apron: A Library of Numerical Abstract Domains for Static Analysis2009
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships2009
- A Sound Floating-Point Polyhedra Abstract Domain2008
- Static Analysis by Policy Iteration on Relational DomainsLecture Notes in Computer Science, 2007
- The octagon abstract domainHigher-Order and Symbolic Computation, 2006
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains2005
- A static analyzer for large safety-critical software2003
- Discovering affine equalities using random interpretation2003
- Static analysis of linear congruence equalities among variables of a program1991
- Affine relationships among variables of a programActa Informatica, 1976