An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614): Difference between revisions

@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295510
@@ Property / cites work: Q5295510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195940
@@ Property / cites work: Q4195940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736342
@@ Property / cites work: Q2736342 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving linear constraint propagation by changing constraint representation
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical form for generalized linear constraints
+Normal rank
@@ Property / cites work @@
+Q4939617
@@ Property / cites work: Q4939617 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411954
@@ Property / cites work: Q4411954 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for transitive closure on acyclic digraphs
+Normal rank
@@ Property / cites work @@
+Static Analysis in Disjunctive Numerical Domains
@@ Property / cites work: Static Analysis in Disjunctive Numerical Domains / rank @@
+Normal rank