Splitting the Control Flow with Boolean Flags (Q3522080): Difference between revisions

@@ 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-69166-2_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1869764317
@@ Property / OpenAlex ID: W1869764317 / rank @@
+Normal rank
@@ Property / cites work @@
+Not necessarily closed convex polyhedra and the double description method
+Normal rank
@@ Property / cites work @@
+An Improved Tight Closure Algorithm for Integer Octagonal Constraints
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Two-Dimensional Integer Hulls
@@ Property / cites work: Computing Two-Dimensional Integer Hulls / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3499221
@@ Property / cites work: Q3499221 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing String Buffers in C
@@ Property / cites work: Analyzing String Buffers in C / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Taming the Wrapping of Integer Arithmetic
@@ Property / cites work: Taming the Wrapping of Integer Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank