Enforcing termination of interprocedural analysis (Q5915716): Difference between revisions

@@ Property / cites work @@
+Enhancing Top-Down Solving with Widening and Narrowing
+Normal rank
@@ Property / cites work @@
+Precise widening operators for convex polyhedra
@@ Property / cites work: Precise widening operators for convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Discover Interval Linear Equalities
+Normal rank
@@ Property / cites work @@
+Abstracting Induction by Extrapolation and Interpolation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+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 @@
+An even faster solver for general systems of equations
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+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 @@
+Verifying a Local Generic Solver in Coq
@@ Property / cites work: Verifying a Local Generic Solver in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Pure Functional?
@@ Property / cites work: What Is a Pure Functional? / rank @@
+Normal rank
@@ Property / cites work @@
+On Monadic Parametricity of Second-Order Functionals
+Normal rank
@@ Property / cites work @@
+Enforcing termination of interprocedural analysis
@@ Property / cites work: Enforcing termination of interprocedural analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural analyses: a comparison
@@ Property / cites work: Interprocedural analyses: a comparison / rank @@
+Normal rank