Résumé
L’équivalence algorithmique est un sujet important en analyse de programmes. Elle estutile dans de nombreuses applications, dont la détection de plagiat et la reconnaissance
automatique d’algorithmes. Nous proposons une approche nouvelle articulée autour des
transformations de programmes logiques avec contraintes. Nous définissons un cadre de
travail flexible dans lequel la comparaison de programmes logiques avec contraintes se fait
par transformations syntaxiques successives. Nous introduisons des transformations de programmes
logiques avec contraintes paramétrables et discutons leur impact sémantique sur
les programmes. Nous évaluons la capacité de cette approche à préserver la structure des
algorithmes capturés par les programmes, et proposons des extensions simples pour aiguiser
le processus de comparaison algorithmique présenté.
Mots-clés : transformations de programmes, équivalence algorithmique, programmation
logique avec contraintes
| la date de réponse | 23 juin 2017 |
|---|---|
| langue originale | Français |
| L'institution diplômante |
|
| Superviseur | Anthony Cleve (Président), Wim Vanhoof (Promoteur) & Pierre Yves Schobbens (Jury) |