A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2117326145
@@ Property / OpenAlex ID: W2117326145 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813396
@@ Property / cites work: Q4813396 / rank @@
+Normal rank
@@ Property / cites work @@
+Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
+Normal rank
@@ Property / cites work @@
+Q3732947
@@ Property / cites work: Q3732947 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
+Normal rank
@@ Property / cites work @@
+Q3732946
@@ Property / cites work: Q3732946 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Q4312470
@@ Property / cites work: Q4312470 / rank @@
+Normal rank
@@ Property / cites work @@
+A methodology for granularity-based control of parallelism in logic programs
+Normal rank
@@ Property / cites work @@
+Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
+Normal rank
@@ Property / cites work @@
+Overview of DASWAM: Exploitation of dependent and-parallelism
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5504687