Aliasing errors are diminished by a controlled amount of artificial dissipation of 6th order at non-resolved wavenumbers.
Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis.
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety.
Aliasing of flow was seen from the left pulmonary veins entering the left atrium, suggesting obstruction.
Argument objects can have different roles, and the model guarantees that an owner cannot introduce aliasing between roles.
Reasoning at this level, usage aspects and diamond values can be completely ignored; our proof guarantees that the imperative interpretation with aliasing is sound.
Next we will show that these preserved variables are not aliasing with what may be modified by the sub-evaluations.
This number is reassuring, because the stimulus is not causing any aliasing at the highest meaningful speeds.
