1445 search results - page 17 / 289 » Abstract Interpretation of Logic Programs |
IANDC
2008
14 years 9 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 3 months ago
2007
Springer
157
Voted
POPL
2005
ACM
15 years 10 months ago
2005
ACM
ESOP
1998
Springer
15 years 1 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...