How to control unfolding when specializing interpreters (Q918195): Difference between revisions

@@ Property / cites work @@
+On the partial computation principle
@@ Property / cites work: On the partial computation principle / rank @@
+Normal rank
@@ Property / cites work @@
+A self-applicable partial evaluator and its use in incremental compilation
+Normal rank
@@ Property / cites work @@
+Mixed computation of Prolog programs
@@ Property / cites work: Mixed computation of Prolog programs / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation of metaprograms in a ``multiple worlds'' logic language
+Normal rank
@@ Property / cites work @@
+Q3992706
@@ Property / cites work: Q3992706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742690
@@ Property / cites work: Q3742690 / rank @@
+Normal rank