Skip to search formSkip to main contentSkip to account menu

Reaching definition

Known as: Reaching definitions 
In compiler theory, a reaching definition for a given instruction is an earlier instruction whose target variable can reach (be assigned to) the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Compilers: Principles, Techniques, and ToolsConstant foldingControl flow graphData-flow analysis

Broader (1)

Program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Interaction of Emic Waves With Thermal Plasma and Radiation Belt Particles
Electromagnetic ion cyclotron (EMIC) waves are excited during the enhanced convective injection of plasmasheet ions into the… 
2010
2010
Queuing Analysis and Simulation of Wireless Access and End Point Systems using Fano Decoding
Wireless networks are a growing technology due to its ability to receive data in areas where it is very hard to plug-in using… 
Highly Cited
2008
Highly Cited
2008
Dataflow analysis for concurrent programs using datarace detection
Dataflow analyses for concurrent programs differ from their single-threaded counterparts in that they must account for shared… 
Highly Cited
2008
Highly Cited
2008
Control of a nonlinear continuous bioreactor with bifurcation by a type-2 fuzzy logic controller
Highly Cited
2006
Highly Cited
2006
Physiology of individual late-run Fraser River sockeye salmon (Oncorhynchus nerka) sampled in the ocean correlates with fate during spawning migration
Beginning in 1995, segments of the late-run sockeye salmon (Oncorhynchus nerka) stocks from the Fraser River, British Columbia… 
2004
2004
European Integration of Albania: Economic Aspects
Albania has been partner of the Stability Pact for South Eastern Europe and the EU Stabilisation and Association process for the… 
Highly Cited
2002
Highly Cited
2002
Appreciative Inquiry and Public Dialogue: An Approach to Community Change
This paper will demonstrate the contribution of Appreciative Inquiry (AI) to whole system change in the public and non-profit… 
Highly Cited
1999
Highly Cited
1999
Dynamics of Architectural Development of Isolated Plants of Maize (Zea mays L.), in a Non-limiting Environment: The Branching Potential of Modern Maize
The maximal architectural development of a modern maize cultivar (Zea mays L. ‘Dea’) was studied in fully isolated and carefully… 
Highly Cited
1990
Highly Cited
1990
The Function of Time in Cooperative Negotiations
Work in distributed artificial intelligence (DAI) has, since its earliest years, been concerned with negotiation strategies… 
Highly Cited
1965
Highly Cited
1965
Comparison of Water Potentials in Leaves as Measured by Two Types of Thermocouple Psychrometer
A comparison of water potentials as measured by two types of miniature thermocouple psychrometer, when used in vapour pressure… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)