Testing your (static analysis) truths (Q2119122): Difference between revisions

@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813396
@@ Property / cites work: Q4813396 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Abstract Distances in Logic Programs
@@ Property / cites work: Computing Abstract Distances in Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+An Integrated Approach to Assertion-Based Random Testing in Prolog
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754040
@@ Property / cites work: Q2754040 / rank @@
+Normal rank
@@ Property / cites work @@
+An SMT-based concolic testing tool for logic programs
+Normal rank
@@ Property / cites work @@
+Multivariant assertion-based guidance in abstract interpretation
+Normal rank
@@ Property / cites work @@
+Incremental Analysis of Logic Programs with Assertions and Open Predicates
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702568
@@ Property / cites work: Q4702568 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Determinacy Analysis for Logic Programs Using Mode and Type Information
+Normal rank
@@ Property / cites work @@
+Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q2723933
@@ Property / cites work: Q2723933 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for certified binaries
@@ Property / cites work: A type system for certified binaries / rank @@
+Normal rank
@@ Property / cites work @@
+Practical run-time checking via unobtrusive property caching
+Normal rank
@@ Property / cites work @@
+Q4411953
@@ Property / cites work: Q4411953 / rank @@
+Normal rank