Show the correctness of Algorithm 9.11. That is, show that a) If definition d is put in IN [B] or OUT[2?], then there is a path from d to the beginning or end of block B, respectively, along which the...

Show the correctness of Algorithm 9.11. That is, show that


a) If definition d is put in IN [B] or OUT[2?], then there is a path from d to the beginning or end of block B, respectively, along which the variable defined by d might not be redefined.


b) If definition d is not put in w[B] or OUT[.B] , then there is no path from d to the beginning or end of block B, respectively, along which the variable defined by d might not be redefined.

Algorithm 9.11