Precise Widening Operators for Convex Polyhedra
- 13 May 2003
- book chapter
- Published by Springer Nature
- p. 337-354
- https://doi.org/10.1007/3-540-44898-5_19
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Efficient chaotic iteration strategies with wideningsPublished by Springer Nature ,2006
- Comparing the Galois connection and widening/narrowing approaches to abstract interpretationPublished by Springer Nature ,2005
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryPublished by Springer Nature ,2002
- Synthesis of Linear Ranking FunctionsPublished by Springer Nature ,2001
- Polyhedral Analysis for Synchronous LanguagesPublished by Springer Nature ,1999
- Model-checking concurrent systems with unbounded integer variablesACM Transactions on Programming Languages and Systems, 1999
- Inferring argument size relationships with CLP( $$\mathcal{R}$$ )Published by Springer Nature ,1997
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977