606 search results - page 8 / 122 » Constraint Hierarchies and Logic Programming |
210
Voted
LISP
2007
15 years 7 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
192
click to vote
SAS
2004
Springer
16 years 25 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
338
click to vote
AGP
2010
IEEE
16 years 17 days ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
170
Voted
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
177
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...