HardenedGolo : pour augmenter le niveau de confiance en un code Golo
Résumé
Cet article décrit un travail préliminaire autour du langage de programmation Golo. Notre objectif est de fournir aux développeurs des outils permettant de renforcer leur confiance en leur code. Pour ce faire, nous avons expérimenté plusieurs approches (test dynamique, analyse de type et preuve de programme) et nous cherchons maintenant des choix pertinents pour avancer dans chacune de ces pistes.
Domaines
Calcul formel [cs.SC]
Origine : Fichiers produits par l'(les) auteur(s)