Optimal multibinding unification for sharing and linearity analysis (Q5418949): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2291
@@ Property / arXiv ID: 1306.2291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+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 @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Sharing is optimal
@@ Property / cites work: Sharing is optimal / rank @@
+Normal rank
@@ Property / cites work @@
+On the interaction between sharing and linearity
@@ Property / cites work: On the interaction between sharing and linearity / rank @@
+Normal rank
@@ Property / cites work @@
+Enhanced sharing analysis techniques: a comprehensive evaluation
+Normal rank
@@ Property / cites work @@
+Optimality in goal-dependent analysis of Sharing
@@ Property / cites work: Optimality in goal-dependent analysis of Sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering invariants via simple component analysis
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of declarative programming languages
+Normal rank