A class of polynomially solvable range constraints for interval analysis without widenings (Q2575737): Difference between revisions

@@ Property / cites work @@
+The essence of constraint propagation
@@ Property / cites work: The essence of constraint propagation / rank @@
+Normal rank
@@ Property / cites work @@
+A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Diophantine equations, Presburger arithmetic and finite automata
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / 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 @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic constraint solving and interval arithmetic
+Normal rank
@@ Property / cites work @@
+Global Data Flow Analysis and Iterative Algorithms
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288820
@@ Property / cites work: Q4288820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424848
@@ Property / cites work: Q4424848 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Linear Inequalities by Computing Loop Residues
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank