Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                          Salle Lions 1, bâtiment C
                             Lundi 28 août, 11h00

                      Vincent Laviron et Pierre Chambart
                                   OCamlPro

                         Static analysis in Flambda 2

Following our previous talk on Flambda 2, we will present the analysis
used by Flambda 2. It is formalized as an abstract domain, and we will
present its major characteristics and features: support for constant
propagation and immutable block shapes, as well as relational
properties such as aliases and projections, and support for
higher-order values through closures and function summaries. We will
show how it integrates with the rest of Flambda 2, and in particular
how it allows us to optimize various concrete pieces of code.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                     https://bbb.inria.fr/pot-xb8-cq4-y6w