The octagon abstract domain
Top Cited Papers
- 1 March 2006
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 19 (1) , 31-100
- https://doi.org/10.1007/s10990-006-8609-1
Abstract
No abstract availableKeywords
All Related Versions
This publication has 26 references indexed in Scilit:
- AstrÉe: Verification of Absence of Runtime ErrorPublished by Springer Nature ,2008
- Widening Operators for Weakly-Relational Numeric AbstractionsPublished by Springer Nature ,2005
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwarePublished by Springer Nature ,2002
- Abstract debugging of higher-order imperative languagesPublished by Association for Computing Machinery (ACM) ,1993
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- A technique for summarizing data access and its use in parallelism enhancing transformationsPublished by Association for Computing Machinery (ACM) ,1989
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- On a routing problemQuarterly of Applied Mathematics, 1958