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

@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / 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.1007/978-3-540-69738-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1945542985
@@ Property / OpenAlex ID: W1945542985 / rank @@
+Normal rank
@@ 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