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

[Tobias Pankrath]

On Monday, 8 March 2021 at 14:01:33 UTC, Imperatorn wrote:
>
> Just curious, is there any connection here to symbolic 
> execution?

When I look at the wikipedia article about symbolic execution, it 
looks a lot like symbolic model checking, and Patrick Cousot has 
somewhere shown that model checking can be seen as a subform of 
abstract interpretation.