Non-disjunctive Numerical Domain for Array Predicate Abstraction (Q5458394): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78739-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2167968274
@@ Property / OpenAlex ID: W2167968274 / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4414376
@@ Property / cites work: Q4414376 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Static Analysis of String Manipulations in Critical Embedded C Programs
+Normal rank
@@ Property / cites work @@
+Predicate abstraction for software verification
@@ Property / cites work: Predicate abstraction for software verification / rank @@
+Normal rank
@@ Property / cites work @@
+Array Abstractions from Proofs
@@ Property / cites work: Array Abstractions from Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting abstract interpreters to quantified logical domains
+Normal rank