Séminaire Cambium, Inria Paris
                                     BJ09
                          Vendredi 5 décembre, 10h30

                                 Milla Valnet

 Compositional analysis by abstract interpretation for higher-order programs

Static analyzers by abstract interpretation have been successfully developed to
detect runtime errors in many languages. Here, we present a compositional
analysis by abstract interpretation for a higher-order pure functional language:
functions are analyzed only once, at their definition site, generating a summary
of their behavior.

The summaries can be viewed as input-output relations expressed with relational
abstract domains. To do so, we developed a relational domain for recursive
algebraic data types and we formalized disjunctive relational summaries to
abstract higher-order functions. To improve the precision of those summaries, we
developed a language-agnostic relational domain on containers.

Our analysis is implemented in the platform MOPSA for a pure subset of OCaml.

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

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.