Three improvements to the top-down solver (Q5084314): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Top-Down Solving with Widening and Narrowing
+Normal rank
@@ Property / cites work @@
+Abstracting Induction by Extrapolation and Interpolation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Why does Astrée scale up?
@@ Property / cites work: Why does Astrée scale up? / rank @@
+Normal rank
@@ Property / cites work @@
+A faster solver for general systems of equations
@@ Property / cites work: A faster solver for general systems of equations / rank @@
+Normal rank
@@ Property / cites work @@
+Enforcing termination of interprocedural analysis
@@ Property / cites work: Enforcing termination of interprocedural analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+On Monadic Parametricity of Second-Order Functionals
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
+Normal rank
@@ Property / cites work @@
+Relational Thread-Modular Static Value Analysis by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3653849
@@ Property / cites work: Q3653849 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129521000499
+Normal rank
@@ Property / OpenAlex ID @@
+W4210555564
@@ Property / OpenAlex ID: W4210555564 / rank @@
+Normal rank