A Few Graph-Based Relational Numerical Abstract Domains
- 5 September 2002
- book chapter
- Published by Springer Nature
- p. 117-132
- https://doi.org/10.1007/3-540-45789-5_11
Abstract
No abstract availableKeywords
All Related Versions
This publication has 18 references indexed in Scilit:
- Modular Static Program AnalysisPublished by Springer Nature ,2002
- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraintsPublished by Springer Nature ,1997
- Static analyses of congruence properties on rational numbers (extended abstract)Published by Springer Nature ,1997
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Static analysis of linear congruence equalities among variables of a programPublished by Springer Nature ,1991
- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivityPublished by Springer Nature ,1990
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- 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