Abstract interpretation is also at the heart of Julia’s type inference algorithm (amongst other analyses that Julia performs)

A very useful framework, both practically and theoretically!