109
click to vote
PPDP
15 years 3 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 ...
100
click to vote
PPDP
15 years 3 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 ...
PPDP
15 years 3 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...
PPDP
15 years 3 months ago
2004 Springer 
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
PPDP
15 years 3 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