Inferring Local (Non-)Aliasing and Strings for Memory Safety 1

A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is constructed for use under adverse weather conditions. Even under such adverse weather conditions a highly accurate target acquisition is assured due to the use of optical conversion, and beam expansion in the transmitter path, and heterodyning in the laser receiver. It is thus possible to achieve in addition to the highly accurate target acquisition, an accurate tracking of a flying body moving toward a target, under the control of a guide beam device.