Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974): Difference between revisions

@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FAST
@@ Property / describes a project that uses: FAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aspic
@@ Property / describes a project that uses: Aspic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2011.12.050
+Normal rank
@@ Property / OpenAlex ID @@
+W2114898233
@@ Property / OpenAlex ID: W2114898233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Fixpoint Computations with Numerical Acceleration Methods
+Normal rank
@@ Property / cites work @@
+Extrapolation methods theory and practice
@@ Property / cites work: Extrapolation methods theory and practice / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of aitken's process for accelerating the convergence of sequences
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+Guided Static Analysis
@@ Property / cites work: Guided Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738356
@@ Property / cites work: Q4738356 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Numerical Algorithms
@@ Property / cites work: Static Analysis of Numerical Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Finite Precision Computations
@@ Property / cites work: Static Analysis of Finite Precision Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Extrapolation methods for vector sequences
@@ Property / cites work: Extrapolation methods for vector sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerated Data-Flow Analysis
@@ Property / cites work: Accelerated Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computing polynomial program invariants
@@ Property / cites work: Computing polynomial program invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
+Normal rank
@@ Property / cites work @@
+Widening Polyhedra with Landmarks
@@ Property / cites work: Widening Polyhedra with Landmarks / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+The Epsilon Algorithm and Operational Formulas of Numerical Analysis
+Normal rank