Feedback Thread: DIP 1040--Copying, Moving, and Forwarding--Community Review Round 1

[Imperatorn]

On Monday, 8 March 2021 at 11:28:53 UTC, Timon Gehr wrote:
> On 08.03.21 11:21, Walter Bright wrote:
>>> [...]
>> 
>> That's exactly how the @live analysis is currently 
>> implemented. I didn't know it was called a fixed point 
>> analysis.
>
> The general framework is also called abstract interpretation, 
> where the merge operation is called a join of abstract 
> elements. There's also a meet operation that can introduce 
> information from conditionals into the state. (E.g. if you want 
> to do value range propagation this can be useful.) In general, 
> abstract interpretation does not converge to a fixed point in 
> finite time, then you need to introduce some sort of widening 
> operator. In practice, this is often the main challenge to make 
> it work.

Just curious, is there any connection here to symbolic execution?