239 search results - page 9 / 48 » Partial Evaluation of Functional Logic Programs |
153
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
135
Voted
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
108
Voted
ICLP
1990
Springer
15 years 7 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
143
Voted
PADO
2001
Springer
15 years 8 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
128
Voted
PLDI
1996
ACM
15 years 7 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...