Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598): Difference between revisions

@@ Property / cites work @@
+A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
+Normal rank
@@ Property / cites work @@
+Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
+Normal rank
@@ Property / cites work @@
+A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
+Normal rank
@@ Property / cites work @@
+Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
+Normal rank
@@ Property / cites work @@
+Q4312470
@@ Property / cites work: Q4312470 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy Analysis for Logic Programs Using Mode and Type Information
+Normal rank
@@ Property / cites work @@
+Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
+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