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

@@ Property / describes a project that uses @@
+LLVM
@@ Property / describes a project that uses: LLVM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sawja
@@ Property / describes a project that uses: Sawja / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOCKSMITH
@@ Property / describes a project that uses: LOCKSMITH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DeepWukong
@@ Property / describes a project that uses: DeepWukong / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-88806-0_2
+Normal rank
@@ Property / OpenAlex ID @@
+W3206466725
@@ Property / OpenAlex ID: W3206466725 / rank @@
+Normal rank
@@ 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