Static analysis for the Flambda 2 optimiser
In this talk, we will present an overview of the abstract domains that drive the Flambda 2 optimizer for In this talk, we will present an overview of the abstract domains that drive the Flambda 2 optimizer for OCaml programs. Like most optimizing compilers, Flambda 2 relies on static analysis…