HardenedGolo : pour augmenter le niveau de confiance en un code Golo - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

HardenedGolo : pour augmenter le niveau de confiance en un code Golo

Abstract

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.
Fichier principal
Vignette du fichier
main.pdf (106.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01526659 , version 1 (23-05-2017)

Identifiers

  • HAL Id : hal-01526659 , version 1

Cite

Oscar Carrillo, Nicolas Stouls, Raphael Laurent, Nikolai Plokhoi, Qifan Zhou, et al.. HardenedGolo : pour augmenter le niveau de confiance en un code Golo. 16èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'17), Jun 2017, Montpellier, France. ⟨hal-01526659⟩
120 View
55 Download

Share

Gmail Facebook Twitter LinkedIn More