American Journal of Computational Linguistics , 8, 3-4, 110–122

An Eﬃcient, Easily Adaptable System For Interpreting Natural Language Queries · 2013

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 1982
Checkification lets a static analyzer's inferred assertions be checked dynamically, a practical method that found 21 bugs in CiaoPP.