Mixed computation: potential applications and problems for study (Q1169808): Difference between revisions

@@ Property / cites work @@
+Q4195967
@@ Property / cites work: Q4195967 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial evaluator, and its use as a programming tool
+Normal rank
@@ Property / cites work @@
+A synthesis of several sorting algorithms
@@ Property / cites work: A synthesis of several sorting algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A system which automatically improves programs
@@ Property / cites work: A system which automatically improves programs / rank @@
+Normal rank
@@ Property / cites work @@
+ALPHA—An Automatic Programming System of High Efficiency
+Normal rank
@@ Property / cites work @@
+On the partial computation principle
@@ Property / cites work: On the partial computation principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151136
@@ Property / cites work: Q4151136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3854598
@@ Property / cites work: Q3854598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134896
@@ Property / cites work: Q4134896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174760
@@ Property / cites work: Q4174760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Computation
@@ Property / cites work: Incremental Computation / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpreter-Oriented Definitions of Programming Languages
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Äquivalente Transformationen für Flußdiagramme
@@ Property / cites work: Äquivalente Transformationen für Flußdiagramme / rank @@
+Normal rank
@@ Property / cites work @@
+The logic-termal equivalence is polynomial-time decidable
+Normal rank