Improving the generecity of an abstract interpretation algorithm through object oriented design

  • Pierre Delvaux
  • Nicolas Englembert

Student thesis: Master typesMaster en sciences informatiques

Résumé

Abstract interpretation is a methodology to analyze programs statically.
Abstract interpretation of Prolog is currently a very attractive field of
research. Because of this, many implementations are available for specific
interpretations. This report proposes a design to improve the genericity of a
Prolog abstract interpreter through object oriented techniques. The result is
summed up in a C++ program able to juggle a multitude of abstract domains
and algorithms. Moreover, this system is built to be extended in the future.
la date de réponse1996
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

'