Please read Chapter 1 through the end of Section 1.4 in your textbook.
In ``live variable analysis'' we have:
,
instantiate the generic equations given above for the
factorial program given at the bottom of page 5.
for 
until you reach a fixed point. Show all the sets at each step.
Perform the analysis defined in Section 1.4 on the following program
(lambda f . f (lambda x.x)) (lambda g . g 3)
As with all homeworks, please turn in your homework on paper at the beginning of lecture.