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

@@ 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-94583-1_11
+Normal rank
@@ Property / OpenAlex ID @@
+W4206254495
@@ Property / OpenAlex ID: W4206254495 / rank @@
+Normal rank
@@ 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