140
click to vote
LOPSTR
1992
Springer
15 years 6 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
85
Voted
LOPSTR
1992
Springer
15 years 6 months ago
1992
Springer
