Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store

  • Cécile Pirotte

    Thèse de l'étudiant: Master typesMaster en informatique

    Résumé

    Date de réussite2001
    langueFrançais
    SuperviseurBaudouin Le Charlier (Promoteur)

    Citer ceci

    Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store
    Pirotte, C. (Auteur). 2001

    Thèse de l'étudiant: Master typesMaster en informatique