Inferring complete initialization of arrays (Q383356): Difference between revisions

@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and 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 @@
+Predicate abstraction for software verification
@@ Property / cites work: Predicate abstraction for software verification / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+What Else Is Decidable about Integer Arrays?
@@ Property / cites work: What Else Is Decidable about Integer Arrays? / rank @@
+Normal rank
@@ Property / cites work @@
+Definite Expression Aliasing Analysis for Java Bytecode
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Program Variables
@@ Property / cites work: Reachability Analysis of Program Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Automaton-Based Array Initialization Analysis
@@ Property / cites work: Automaton-Based Array Initialization Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
+Normal rank