Abstract interpretation is important in the implementation of the Julia language. Some relevant blog posts by Julia compiler developers:

* https://info.juliahub.com/blog/inference-convergence-algorit...

* https://info.juliahub.com/blog/inference-convergence-algorit...

* https://aviatesk.github.io/posts/introduction-to-static-anal...

* https://aviatesk.github.io/posts/data-flow-problem/