A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599): Difference between revisions

@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813396
@@ Property / cites work: Q4813396 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553258
@@ Property / cites work: Q4553258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank