Partial Evaluation
p: プログラム, s: 入力の一部
peval(p, s) = ps
d: 残りの入力
eval(p, (s, d)) = eval(ps, d)
Previous slide
Next slide
Back to first slide
View graphic version