Horn clauses as an intermediate representation for program analysis and transformation.
Saved in:
| Title: | Horn clauses as an intermediate representation for program analysis and transformation. |
|---|---|
| Authors: | GANGE, GRAEME1 gkgange@unimelb.edu.au, NAVAS, JORGE A.2 jorge.a.navaslaserna@nasa.gov, SCHACHTE, PETER1 schachte@unimelb.edu.au, SØNDERGAARD, HARALD1 harald@unimelb.edu.au, STUCKEY, PETER J.1 pstuckey@unimelb.edu.au, Eiter, Thomas, Toni, Francesca |
| Source: | Theory & Practice of Logic Programming. Jul2015, Vol. 15 Issue 4/5, p526-542. 17p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068415000204 |
