Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java

  • Grégory Dony

    Student thesis: Master typesMaster en sciences informatiques

    Résumé

    L'analyse statique a de nombreuses applications dans le paradigme "Orienté Objet". L'une des plus connues est l'élimination du "dynamic dispatch". Le travail effectué dans le cadre de ce mémoire s'intègre dans un projet global d'analyse statique de programmes Java. Ce projet a pour caractéristique particulière l'application directe d'une méthodologie appelée Interprétation abstraite. Ce mémoire se divise en deux parties principales. La première partie décrit un "traducteur"
    de Java vers SAP, langage du type "syntaxe abstraite" très proche de Java mais plus simple et plus adapté à des analyses statiques. La seconde partie présente un analyseur complet pour un sous-ensemble de SAP.
    la date de réponse2001
    langue originaleFrançais
    SuperviseurBaudouin LE CHARLIER (Promoteur) & Isabelle Pollet (Copromoteur)

    Contient cette citation

    '