Generic Abstraction of Dictionaries and Arrays (Q5170171): Difference between revisions

@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+A parametric segmentation functor for fully automatic and scalable array content analysis
+Normal rank
@@ Property / cites work @@
+Fluid Updates: Beyond Strong vs. Weak Updates
@@ Property / cites work: Fluid Updates: Beyond Strong vs. Weak Updates / rank @@
+Normal rank
@@ Property / cites work @@
+Precise reasoning for programs using containers
@@ Property / cites work: Precise reasoning for programs using containers / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction for software verification
@@ Property / cites work: Predicate abstraction for software verification / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Abstraction of Dictionaries and Arrays
@@ Property / cites work: Generic Abstraction of Dictionaries and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Abstract Domain of Weighted Hexagons
@@ Property / cites work: Relational Abstract Domain of Weighted Hexagons / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Quantified Array Assertions
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank