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

  • Karl Noben

    Student thesis: Master types › Master in Computer science

    Abstract

    Date of Award2000
    Original languageFrench
    SupervisorBaudouin LE CHARLIER (Supervisor)

    Cite this

    Vers un analyseur statique générique de Java par interprétation abstraite: un analyseur statique simple et un utilitaire d'affichage de l'environnement et du store
    Noben, K. (Author). 2000

    Student thesis: Master types › Master in Computer science