126
Voted
PPDP
15 years 5 months ago
2004 Springer 
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
119
click to vote
PPDP
15 years 5 months ago
2004 Springer 
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
118
click to vote
PPDP
15 years 5 months ago
2004 Springer 
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
109
click to vote
PPDP
15 years 5 months ago
2004 Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
107
Voted
PPDP
15 years 5 months ago
2004 Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
|
Programming Languages