Lightweight shape analysis based on physical types (Q2152652): Difference between revisions

@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994692
@@ Property / cites work: Q4994692 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Compiling with continuations, continued
@@ Property / cites work: Compiling with continuations, continued / rank @@
+Normal rank
@@ Property / cites work @@
+Shape Analysis of Low-Level C with Overlapping Structures
+Normal rank
@@ Property / cites work @@
+Separating Shape Graphs
@@ Property / cites work: Separating Shape Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic-directed clumping of disjunctive abstract states
+Normal rank
@@ Property / cites work @@
+An array content static analysis based on non-contiguous partitions
+Normal rank
@@ Property / cites work @@
+Q4411959
@@ Property / cites work: Q4411959 / rank @@
+Normal rank
@@ Property / cites work @@
+Low-level liquid types
@@ Property / cites work: Low-level liquid types / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case Analysis of Set Union Algorithms
@@ Property / cites work: Worst-case Analysis of Set Union Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced Product Combination of Abstract Domains for Shapes
+Normal rank