Exploiting linearity in sharing analysis of object-oriented programs (Q737080): Difference between revisions

@@ 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 @@
+On the interaction between sharing and linearity
@@ Property / cites work: On the interaction between sharing and linearity / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal multibinding unification for sharing and linearity analysis
+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 @@
+Enhanced sharing analysis techniques: a comprehensive evaluation
+Normal rank
@@ Property / cites work @@
+Bottom-up abstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Precise Set Sharing Analysis for Java-Style Programs
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank