Set-sharing is redundant for pair-sharing (Q1605223): Difference between revisions

@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
+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 @@
+A freeness and sharing analysis of logic programs based on a pre-interpretation
+Normal rank
@@ Property / cites work @@
+Comparison of abstract interpretations
@@ Property / cites work: Comparison of abstract interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+The quotient of an abstract interpretation
@@ Property / cites work: The quotient of an abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of abstract domains for logic programming: Open product and generic pattern construction
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized semantics and abstract interpretation for constraint logic programs
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness, idempotence and commutativity of set-sharing
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Some global optimizations for a PROLOG compiler
@@ Property / cites work: Some global optimizations for a PROLOG compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+The occur-check problem in Prolog
@@ Property / cites work: The occur-check problem in Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of success patterns in logic programs
@@ Property / cites work: Enumeration of success patterns in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742761
@@ Property / cites work: Q3742761 / rank @@
+Normal rank
@@ Property / cites work @@
+The closure operators of a lattice
@@ Property / cites work: The closure operators of a lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494373
@@ Property / cites work: Q4494373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494374
@@ Property / cites work: Q4494374 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00312-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2035032795
@@ Property / OpenAlex ID: W2035032795 / rank @@
+Normal rank