Working on a paper about this, but for program slicing. Eg pointer analysis has to be whole-program, until your type system gets expressive enough.https://twitter.com/khyperia/status/1397817384405286913 …
-
-
Replying to @wcrichton
you know what they say, any sufficiently modular static analysis contains an ad hoc implementation of a type system
1 reply 1 retweet 3 likes
Replying to @sivawashere
it’s all abstract interpretation? always has been…
9:58 PM - 27 May 2021
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
cognitive psychology. PhD