700 search results - page 29 / 140 » On Termination of Constraint Logic Programs |
113
click to vote
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
76
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
95
Voted
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
68
Voted
AADEBUG
2000
Springer
15 years 5 months ago
2000
Springer
