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

@@ Property / author @@
-Leon S. Sterling
@@ Property / author: Leon S. Sterling / rank @@
-Normal rank
@@ Property / author @@
+Leon S. Sterling
@@ Property / author: Leon S. Sterling / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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