Static Analysis of Numerical Algorithms

This publication has 9 references indexed in Scilit:

• The octagon abstract domain
  Higher-Order and Symbolic Computation, 2006
• Efficient Strongly Relational Polyhedral Analysis
  Published by Springer Nature ,2005
• Static Analysis-Based Validation of Floating-Point Computations
  Published by Springer Nature ,2004
• Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
  Published by Springer Nature ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
  Published by Springer Nature ,2002
• Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
  Published by Springer Nature ,2002
• Static Analyses of the Precision of Floating-Point Operations
  Published by Springer Nature ,2001
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992