Journal of Logic Programming , 13, 2/3, 315–347

Compile-time Derivation of Variable Dependency Using Abstract Interpretation · 2006

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.SE · 2025-01-21 · conditional · novelty 5.0

Checkification lets a static analyzer's inferred assertions be checked dynamically, a practical method that found 21 bugs in CiaoPP.

Showing 1 of 1 citing paper.

Checkification: A Practical Approach for Testing Static Analysis Truths cs.SE · 2025-01-21 · conditional · none · ref 1992
Checkification lets a static analyzer's inferred assertions be checked dynamically, a practical method that found 21 bugs in CiaoPP.