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 |
Be the first to leave a comment!
