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

@@ Property / describes a project that uses @@
+BoogiePL
@@ Property / describes a project that uses: BoogiePL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1596917824
@@ Property / OpenAlex ID: W1596917824 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5504599