Closing the performance gap between doubles and rationals for octagons

DOI10.1007/978-3-319-99725-4_13MaRDI QIDQ6041171zbMATH OpenOpenAlexFDO

Authors Aziem Chawdhary, Andy King

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/67227/1/main.pdf

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Recommendations

• Compact Difference Bound Matrices
• Simple and efficient algorithms for octagons
• Incrementally closing octagons
• The octagon abstract domain
• Sparsity preserving algorithms for octagons

Cited in

(1)

• Compact Difference Bound Matrices

This page was built for publication: Closing the performance gap between doubles and rationals for octagons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041171)