Abstract interpretation is important in the implementation of the Julia language. Some relevant blog posts by Julia compiler developers: * https://info.juliahu

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-algorithm-in-julia https://info.juliahub.com/blog/inference-convergence-algorit... * https://info.juliahub.com/blog/inference-convergence-algorithm-in-julia-revisited https://info.juliahub.com/blog/inference-convergence-algorit... * https://aviatesk.github.io/posts/introduction-to-static-analysis/ https://aviatesk.github.io/posts/introduction-to-static-anal... * https://aviatesk.github.io/posts/data-flow-problem/ https://aviatesk.github.io/posts/data-flow-problem/