Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 348-363
- https://doi.org/10.1007/11609773_23
Abstract
No abstract availableKeywords
All Related Versions
This publication has 8 references indexed in Scilit:
- Efficient chaotic iteration strategies with wideningsPublished by Springer Nature ,2006
- The Octahedron Abstract DomainPublished by Springer Nature ,2004
- Static Analysis of Digital FiltersPublished by Springer Nature ,2004
- Relational Abstract Domains for the Detection of Floating-Point Run-Time ErrorsPublished by Springer Nature ,2004
- Two Variables per Linear Inequality as an Abstract DomainPublished by Springer Nature ,2003
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Improving the results of static analyses of programs by local decreasing iterationsPublished by Springer Nature ,1992