125
click to vote
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
We extend positive supercompilation to handle negative as well as positive information. This is done by instrumenting the underlying unfold rules with a small rewrite system that h...