Derivation of efficient programs for computing sequences of actions (Q1093362): Difference between revisions

@@ Property / cites work @@
+The promotion and accumulation strategies in transformational programming
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+The Towers of Hanoi Problem
@@ Property / cites work: The Towers of Hanoi Problem / rank @@
+Normal rank
@@ Property / cites work @@
+An iterative solution to the generalized Towers of Hanoi problem
+Normal rank
@@ Property / cites work @@
+An iterative algorithm for the cyclic Towers of Hanoi problem
+Normal rank
@@ Property / cites work @@
+Mechanical Discovery of Classes of Problem-Solving Strategies
+Normal rank
@@ Property / cites work @@
+Discussion and correspondence: A note on the Towers of Hanoi problem
+Normal rank
@@ Property / cites work @@
+Q4192941
@@ Property / cites work: Q4192941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185781
@@ Property / cites work: Q4185781 / rank @@
+Normal rank
@@ Property / cites work @@
+A family of rules for recursion removal
@@ Property / cites work: A family of rules for recursion removal / rank @@
+Normal rank
@@ Property / cites work @@
+Towers of Hanoi problems: deriving iterative solutions by program transformations
+Normal rank
@@ Property / cites work @@
+Iteration strikes back - at the cyclic Towers of Hanoi
+Normal rank