Abstract fixpoint computations with numerical acceleration methods

DOI10.1016/J.ENTCS.2010.09.004MaRDI QIDQ2814099zbMATH OpenOpenAlexWikidataFDO

Authors Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

Publication date 17 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.09.004

zbMATH Keywords

abstract numerical domainsacceleration of convergencewidening operator

Mathematics Subject Classification ID

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

Recommendations

• Acceleration of the abstract fixpoint computation in numerical program analysis
• Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
• Computer Aided Verification
• Abstract interpretation meets convex optimization
• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Abstract Interpretation Frameworks
• Accelerated Data-Flow Analysis
• Combining Widening and Acceleration in Linear Relation Analysis
• Extrapolation methods for vector sequences
• Extrapolation methods theory and practice
• Generalizations of aitken's process for accelerating the convergence of sequences
• Generating all polynomial invariants in simple loops
• Guided Static Analysis
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• scientific article; zbMATH DE number 2087547 (Why is no real title available?)
• The Epsilon Algorithm and Operational Formulas of Numerical Analysis
• Verification, Model Checking, and Abstract Interpretation
• Widening Polyhedra with Landmarks

Cited in

(15)

• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Memory-efficient fixpoint computation
• Widening and narrowing operators for abstract interpretation
• IMPROVING THE COMPUTATIONAL EFFICIENCY OF FIXED POINT ALGORITHMS
• Accelerated Data-Flow Analysis
• Combining Widening and Acceleration in Linear Relation Analysis
• Abstract interpretation meets convex optimization
• Acceleration of the abstract fixpoint computation in numerical program analysis
• scientific article; zbMATH DE number 1832221 (Why is no real title available?)
• Fixed points and frontiers: a new perspective
• Numerical reckoning fixed points via new faster iteration process
• Sound Numerical Computations in Abstract Acceleration
• Stratified static analysis based on variable dependencies
• Acceleration in Convex Data-Flow Analysis
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• Aspic
• ASTREE
• FAST

This page was built for publication: Abstract fixpoint computations with numerical acceleration methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814099)