1445 search results - page 17 / 289 » Abstract Interpretation of Logic Programs |
109
click to vote
IANDC
2008
14 years 12 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
PADL
2007
Springer
15 years 6 months ago
2007
Springer
ESOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...