Proving the correctness of recursion-based automatic program transformations (Q671683): Difference between revisions

@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Infinite trees in normal form and recursive equations having a unique solution
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204055
@@ Property / cites work: Q3204055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192941
@@ Property / cites work: Q4192941 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Proving the correctness of recursion-based automatic program transformations
+Normal rank
@@ Property / cites work @@
+The concept of a supercompiler
@@ Property / cites work: The concept of a supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992424
@@ Property / cites work: Q3992424 / rank @@
+Normal rank