A Calculus for Modular Loop Acceleration (Q5039502): Difference between revisions

@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+On iterating linear transformations over recognizable sets of integers
+Normal rank
@@ Property / cites work @@
+Iterating Octagons
@@ Property / cites work: Iterating Octagons / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Acceleration of Ultimately Periodic Relations
+Normal rank
@@ Property / cites work @@
+Deciding Conditional Termination
@@ Property / cites work: Deciding Conditional Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of polynomial loops
@@ Property / cites work: Termination of polynomial loops / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Runtime Bounds for Integer Programs
@@ Property / cites work: Lower Runtime Bounds for Integer Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Underapproximation of Procedure Summaries for Integer Programs
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerating Interpolants
@@ Property / cites work: Accelerating Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract acceleration of general linear loops
@@ Property / cites work: Abstract acceleration of general linear loops / rank @@
+Normal rank
@@ Property / cites work @@
+PTIME computation of transitive closures of octagonal relations
+Normal rank
@@ Property / cites work @@
+Under-approximating loops in C programs for fast counterexample detection
+Normal rank
@@ Property / cites work @@
+On Termination of Integer Linear Loops
@@ Property / cites work: On Termination of Integer Linear Loops / rank @@
+Normal rank