Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java

  • Isabelle Pollet

Student thesis: DEA typesDEA in Computer Science

Abstract

Date of Award1999
Original languageFrench
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java
Pollet, I. (Author). 1999

Student thesis: DEA typesDEA in Computer Science