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 pious ones of Plymouth who, reaching the Rock, first fell upon their own knees and then upon the aborigines.”
—William M. Evarts (1818–1901)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)