Semantic analysis of interval congruences
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 142-155
- https://doi.org/10.1007/bfb0039705
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Array abstractions using semantic analysis of trapezoid congruencesPublished by Association for Computing Machinery (ACM) ,1992
- Static analysis of linear congruence equalities among variables of a programPublished by Springer Nature ,1991
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977