Closing the Performance Gap Between Doubles and Rationals for Octagons
Abstract elided by the publisher.
Related papers
- Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023
- Closing the Gap between Modelling and Java SLE 2009
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Trustworthy numerical computation in Scala OOPSLA 2011
- A Fresh Look at Zones and Octagons TOPLAS 2021
- A nonstandard standardization theorem POPL 2014
- Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler Haskell 2010
- On the Adequacy of Graph Rewriting for Simulating Term Rewriting TOPLAS 1994