A method for computing the number of iterations in data dependent loops (Q853604): Difference between revisions

@@ Property / cites work @@
+On the shifted QR iteration applied to companion matrices
+Normal rank
@@ Property / cites work @@
+A Heuristic for Deriving Loop Functions
@@ Property / cites work: A Heuristic for Deriving Loop Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Determination of Loop Invariants for Programs with Arrays
+Normal rank
@@ Property / cites work @@
+Q4537143
@@ Property / cites work: Q4537143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5689624
@@ Property / cites work: Q5689624 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logical analysis of programs
@@ Property / cites work: Logical analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+The new math of computer programming
@@ Property / cites work: The new math of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Some Aspects of the Verification of Loop Computations
+Normal rank
@@ Property / cites work @@
+Q4356579
@@ Property / cites work: Q4356579 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for Analyzing Loop Programs
@@ Property / cites work: A Method for Analyzing Loop Programs / rank @@
+Normal rank