Module 15: Reaching Definition
Lecture 29: Reaching Definition
While Loop
First Pass
*
Second Pass
in(while) =
(in(while-loop))
in(body) =
(in(while))
If we do not distinguish between
and
then
*
*
In(while) =
(in while- loop))
In(body) =
(in (while))
* 
(in(while-loop))
(in(while))
and 
then 
* 
*
(in while- loop)) 
(in (while)) 
