2 ms·
> abstract interpretation That's not what static analysis (which includes things like type-checking) means and that's not something you can do with general-pur
by a1369209993 6y ago
> abstract interpretation
That's not what static analysis (which includes things like type-checking) means and that's not something you can do with general-purpose code, for reasons related to Rice's theorem.
- thechao 6y agoType-checking is one of the classical examples of abstract interpretation — it's mentioned in the original Cousot & Cousot paper (1977). Maybe you're thinking of something else?