2231 search results - page 129 / 447 » Alternation as a programming paradigm |
112
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
140
click to vote
JFPLC
2000
15 years 5 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
101
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
121
click to vote
ENTCS
2000
15 years 4 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
122
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...