A lot of researchs are done at the present time to improve the Logic languages. Those languages possess a lot of advantages, one of the most important is the multidirectionnality. Multidirectionnality permit to write a program which can be used in several manners. The same program can do much more than it first utility. This could be an inconvenient, multidirectionnality forces the compiler to explore a lot of unuseful possible solutions. This is due to the fact that the computer can not differenciate a clever solution from a stupid one. Furthermore, it can be observed that the multidirectionnality is often not really used in practice. One of the main purposes of the abstract interpretation is to improve the "intelligence" of such a compiler. The static analysis of programs covers all the treatments that could be applied on a program behalve of its execution. The aim of the abstract interpretation (which is a technique of static analysis) is to compute some properties of the output of a program without executing it. One of the basic principle of the abstract interpretation is to execute a program not on its normal domain but on an abstraction of its normal domain (understand an abstraction of its input). The aim of this work was to implement an abstract domain proposed by the Katholiek Universiteit van Leuven and to run it with an abstract interpreter developped in the Facultés Universitaires Notre Dame de la Paix.
| la date de réponse | 1993 |
|---|
| langue originale | Anglais |
|---|
| L'institution diplômante | |
|---|
| Superviseur | Baudouin LE CHARLIER (Promoteur) |
|---|
Deriving run time properties of Logic Programs by means of Abstract Interpretation: An implementation
Rouard, D. (Auteur). 1993
Student thesis: Master types › Master en sciences informatiques