Nous désirons étudier la possibilité de faire de l’analyse de programmes en utilisant une approche algébrique. Plus précisément, on s’intéresse au problème de la comparaison de code : aborder ce problème nous permet, entre autres, d’identifier les différences entre deux versions d’un code ou de vérifier si un code optimisé est équivalent à sa version […]
Read More