Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136): Difference between revisions

@@ Property / arXiv ID @@
+.1665
@@ Property / arXiv ID: 1210.1665 / 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 @@
+Fast Offline Partial Evaluation of Large Logic Programs
+Normal rank
@@ Property / cites work @@
+Non-strict independence-based program parallelization using sharing and freeness information
+Normal rank
@@ Property / cites work @@
+Transformation by interpreter specialisation
@@ Property / cites work: Transformation by interpreter specialisation / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive partial deduction: foundations, control, algorithms, and experiments
+Normal rank
@@ Property / cites work @@
+A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
+Normal rank
@@ Property / cites work @@
+Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
+Normal rank