An iterative approach to precondition inference using constrained Horn clauses.
Saved in:
| Title: | An iterative approach to precondition inference using constrained Horn clauses. |
|---|---|
| Authors: | KAFLE, BISHOKSAN1, GALLAGHER, JOHN P.2, GANGE, GRAEME3, SCHACHTE, PETER1, SØNDERGAARD, HARALD1, STUCKEY, PETER J.1, Dal Palu, Alessandro, Tarau, Paul |
| Source: | Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p553-570. 18p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
