The co-invariant generator: An aid in deriving loop bodies (Q1911318): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994464
@@ Property / cites work: Q3994464 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Sorting Algorithms from a Specification
+Normal rank
@@ Property / cites work @@
+Q3992667
@@ Property / cites work: Q3992667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163527
@@ Property / cites work: Q4163527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a standard strategy for developing loop invariants and loops
+Normal rank
@@ Property / cites work @@
+The derivation of systolic computations
@@ Property / cites work: The derivation of systolic computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846259
@@ Property / cites work: Q4846259 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1911318