Hash consed points-to sets (Q2145316): Difference between revisions

@@ Property / cites work @@
+Implementing and reasoning about hash-consed data structures in Coq
+Normal rank
@@ Property / cites work @@
+Semi-sparse flow-sensitive pointer analysis
@@ Property / cites work: Semi-sparse flow-sensitive pointer analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Sawja: Static Analysis Workshop for Java
@@ Property / cites work: Sawja: Static Analysis Workshop for Java / rank @@
+Normal rank
@@ Property / cites work @@
+Points-to analysis with efficient strong updates
@@ Property / cites work: Points-to analysis with efficient strong updates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417791
@@ Property / cites work: Q4417791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411959
@@ Property / cites work: Q4411959 / rank @@
+Normal rank
@@ Property / cites work @@
+Pick your contexts well
@@ Property / cites work: Pick your contexts well / rank @@
+Normal rank
@@ Property / cites work @@
+Referential transparency, definiteness and unfoldability
+Normal rank
@@ Property / cites work @@
+The Complexity of Andersen’s Analysis in Practice
+Normal rank