Equivalence algorithmique par transformations de programmes logiques avec contraintes

  • G. Yernaux

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

L’équivalence algorithmique est un sujet important en analyse de programmes. Elle est
utile 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éponse23 juin 2017
langue originaleFrançais
L'institution diplômante
  • Universite de Namur
SuperviseurAnthony Cleve (Président), Wim VANHOOF (Promoteur) & PIERRE-YVES SCHOBBENS (Jury)

Contient cette citation

'