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

    Student thesis: Master typesMaster of Computer science

    Abstract

    Date of Award2001
    LanguageFrench
    SupervisorBaudouin Le Charlier (Supervisor)

    Cite this

    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. (Author). 2001

    Student thesis: Master typesMaster of Computer science