News for hackers. Stuff that matters.

A comment on Symbolic Execution: Intuition and Implementation. Parent comment

Re:Symbolic Execution: Intuition and Implementation by int3 on Friday March 09, 2018 @05:44AM (#16550963)
Type inference is a special case of abstract interpretation: https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-t...

(Not that I've read that paper in detail, mind you...)

[ Parent | on HN ]

There are no comments on this comment yet.