|
|
|
|
|
by DonaldPShimoda
696 days ago
|
|
FWIW, the Patrick Cousot* perspective on abstract interpretation is that literally everything is an application of abstract interpretation. It's kind of a meme in the PL community at this point, but he's really all-in on it and even begins his course with a self-deprecating joke about this viewpoint. *Patrick Cousot and his late wife, Radhia, are credited with inventing abstract interpretation. |
|