The following pages link to (Q4778705):
Displaying 10 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- Termination of floating-point computations (Q850498) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Identifying volatile numeric expressions in numeric computing applications (Q1997724) (← links)
- Exploiting binary floating-point representations for constraint propagation (Q2806863) (← links)
- Stabilizing Floating-Point Programs Using Provenance Analysis (Q2961567) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
