In compiler theory, a reaching definition for a given instruction is another instruction, the target variable of which may reach the given instruction without an intervening assignment. For example, in the following code:
d1 : y := 3 d2 : x := yd1 is a reaching definition at d2. In the following, example, however:
d1 is no longer a reaching definition at d3, because d2 kills its reach.
Read more about Reaching Definition: As Analysis, Further Reading
Famous quotes containing the words reaching and/or definition:
“The woman who does her job for society inside the four walls of her home must not be considered by her husband or anyone else an economic “dependent,” reaching out her hands in mendicant fashion for financial help.”
—Mary Barnett Gilson (1877–?)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)