Efficient Strongly Relational Polyhedral Analysis
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 111-125
- https://doi.org/10.1007/11609773_8
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Octahedron Abstract DomainPublished by Springer Nature ,2004
- Precise Widening Operators for Convex PolyhedraPublished by Springer Nature ,2003
- FAST: Fast Acceleration of Symbolic Transition SystemsPublished by Springer Nature ,2003
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryPublished by Springer Nature ,2002
- A New Numerical Abstract Domain Based on Difference-Bound MatricesPublished by Springer Nature ,2001
- Polyhedral Analysis for Synchronous LanguagesPublished by Springer Nature ,1999
- Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 1997
- 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
- Affine relationships among variables of a programActa Informatica, 1976