Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088): Difference between revisions

@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Q4813416
@@ Property / cites work: Q4813416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural Shape Analysis with Separated Heap Abstractions
+Normal rank
@@ Property / cites work @@
+Region-based shape analysis with tracked locations
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural dataflow analysis with applications to constant propagation
+Normal rank
@@ Property / cites work @@
+A semantics for procedure local heaps and its abstractions
+Normal rank
@@ Property / cites work @@
+Q2764069
@@ Property / cites work: Q2764069 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813417
@@ Property / cites work: Q4813417 / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank