PAN: A portable, parallel Prolog: Its design, realisation and performance. (Q1862650): Difference between revisions

@@ Property / describes a project that uses @@
+CS-Prolog
@@ Property / describes a project that uses: CS-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVM
@@ Property / describes a project that uses: PVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prolog
@@ Property / describes a project that uses: Prolog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A parallel prolog system for distributed memory
@@ Property / cites work: A parallel prolog system for distributed memory / rank @@
+Normal rank
@@ Property / cites work @@
+A freeness and sharing analysis of logic programs based on a pre-interpretation
+Normal rank
@@ Property / cites work @@
+Q4692532
@@ Property / cites work: Q4692532 / rank @@
+Normal rank
@@ Property / cites work @@
+A methodology for granularity-based control of parallelism in logic programs
+Normal rank
@@ Property / cites work @@
+Q4891458
@@ Property / cites work: Q4891458 / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts and side-effects in and-or parallel Prolog
@@ Property / cites work: Cuts and side-effects in and-or parallel Prolog / 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 @@
+Q3732947
@@ Property / cites work: Q3732947 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944867
@@ Property / cites work: Q4944867 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank