What is Partial Evaluation?
Partial Evaluation = Program Specialization
p = ?s. ?d. 1 + s + d
s = 2? s = 2
p2 = ?d. 3 + d
Partial Evaluation ? Strong Normalization
(?s. ?d. 1 + s + d) @ 2
? ?d. 1 + 2 + d
? ?d. 3 + d
Previous slide
Next slide
Back to first slide
View graphic version