Optimality in goal-dependent analysis of Sharing (Q3181746): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+An algebraic approach to sharing analysis of logic programs
+Normal rank
@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+The role of standardising apart in logic programming
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Differential methods in logic program analysis
@@ Property / cites work: Differential methods in logic program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Optimal groundness analysis using propositional logic
+Normal rank
@@ Property / cites work @@
+Enhanced sharing analysis techniques: a comprehensive evaluation
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Set-sharing is redundant for pair-sharing
@@ Property / cites work: Set-sharing is redundant for pair-sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Pair-independence and freeness analysis through linear refinement.
+Normal rank
@@ Property / cites work @@
+Pair-sharing over rational trees
@@ Property / cites work: Pair-sharing over rational trees / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Three optimisations for sharing
@@ Property / cites work: Three optimisations for sharing / rank @@
+Normal rank
@@ Property / cites work @@
+A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
+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 @@
+Sharing is optimal
@@ Property / cites work: Sharing is optimal / rank @@
+Normal rank