Acceleration of the abstract fixpoint computation in numerical program analysis

DOI10.1016/j.jsc.2011.12.050zbMath1244.68029OpenAlexW2114898233MaRDI QIDQ435974

Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

Publication date: 13 July 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.050

zbMATH Keywords

acceleration of convergenceabstract numerical domainsfixpointKleene iterationnumerical sequence transformationwidening operator with thresholds

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Acceleration of convergence in numerical analysis (65B99)

Related Items (2)

Learning a Strategy for Choosing Widening Thresholds from a Large Codebase ⋮ Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case

Uses Software

• Apron
• Aspic
• ASTREE
• FAST

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Extrapolation methods theory and practice
• Extrapolation methods for vector sequences
• Generalizations of aitken's process for accelerating the convergence of sequences
• Computing polynomial program invariants
• Generating all polynomial invariants in simple loops
• A lattice-theoretical fixpoint theorem and its applications
• Abstract Fixpoint Computations with Numerical Acceleration Methods
• Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
• Static Analysis of Finite Precision Computations
• The Epsilon Algorithm and Operational Formulas of Numerical Analysis
• Accelerated Data-Flow Analysis
• Guided Static Analysis
• Static Analysis of Numerical Algorithms
• Combining Widening and Acceleration in Linear Relation Analysis
• Abstract Interpretation Frameworks
• Programming Languages and Systems
• Programming Languages and Systems
• Widening Polyhedra with Landmarks
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Computer Aided Verification
• Static Analysis by Policy Iteration on Relational Domains

This page was built for publication: Acceleration of the abstract fixpoint computation in numerical program analysis