View in EDS PDF Full Text

An iterative approach to precondition inference using constrained Horn clauses.

Saved in:
Bibliographic Details
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
Description
ISSN:14710684
DOI:10.1017/S1471068418000091