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.
Type de document :
Communication dans un congrès
16èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'17), Jun 2017, Montpellier, France
Liste complète des métadonnées

https://hal.inria.fr/hal-01526659
Contributeur : Nicolas Stouls <>
Soumis le : mardi 23 mai 2017 - 12:58:24
Dernière modification le : jeudi 15 juin 2017 - 09:09:27
Document(s) archivé(s) le : lundi 28 août 2017 - 17:51:58

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01526659, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de
la notice

66

Téléchargements du document

24