Convex Hull of Arithmetic Automata
From MaRDI portal
Publication:3522060
DOI10.1007/978-3-540-69166-2_4zbMath1149.68393OpenAlexW3105316831MaRDI QIDQ3522060
Publication date: 28 August 2008
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69166-2_4
Cites Work
- The convex hull of a regular set of integer vectors is polyhedral and effectively computable
- Affine relationships among variables of a program
- Accelerated Data-Flow Analysis
- TaPAS: The Talence Presburger Arithmetic Suite
- An effective decision procedure for linear arithmetic over the integers and reals
- Acceleration in Convex Data-Flow Analysis
- Implementation and Application of Automata
- The Power of Hybrid Acceleration
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Convex Hull of Arithmetic Automata