Static Analysis of Finite Precision Computations
Abstract elided by the publisher.
Related papers
- Program Analysis Is Harder Than Verification: A Computability Perspective CAV 2018
- Robustness Analysis of Finite Precision Implementations APLAS 2013
- Mailbox Abstractions for Static Analysis of Actor Programs ECOOP 2017
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach ESOP 2002
- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths PLDI 2013
- Finite Differencing of Logical Formulas for Static Analysis ESOP 2003