A method for computing the number of iterations in data dependent loops (Q853604): 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/s11241-006-5317-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2003137456
@@ Property / OpenAlex ID: W2003137456 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:853604