Analyse de strictness des langages applicatifs par l'interprétation abstraite

  • Isabelle Pollet

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1997
Original languageFrench
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

'