3 ms·

I think Patrick Cousot (and others) would argue that most of those are some form of abstract interpretation :)