Interprétation Abstraite Tabulée de Programmes Logiques et Analyse de Groundness

  • Renaud Meurisse

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1993
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin Le Charlier (Supervisor)

Cite this

Interprétation Abstraite Tabulée de Programmes Logiques et Analyse de Groundness
Meurisse, R. (Author). 1993

Student thesis: Master typesMaster in Computer science