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éponse | 1996 |
---|---|
langue originale | Anglais |
L'institution diplômante |
|
Superviseur | Baudouin LE CHARLIER (Promoteur) |