Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XSB
@@ Property / describes a project that uses: XSB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3019340178
@@ Property / OpenAlex ID: W3019340178 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Q2767050
@@ Property / cites work: Q2767050 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid type checking
@@ Property / cites work: Hybrid type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariant assertion-based guidance in abstract interpretation
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Q2767152
@@ Property / cites work: Q2767152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702568
@@ Property / cites work: Q4702568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation with Specialized Definitions
+Normal rank
@@ Property / cites work @@
+Q2723933
@@ Property / cites work: Q2723933 / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank