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

Oscar Carrillo 1 Nicolas Stouls 1 Raphael Laurent 1 Nikolai Plokhoi 1 Qifan Zhou 1 Julien Ponge 1 Frédéric Le Mouël 1
1 DYNAMID - Dynamic Software and Distributed Systems
CITI - CITI Centre of Innovation in Telecommunications and Integration of services
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 : mardi 24 avril 2018 - 13:16: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

132

Téléchargements de fichiers

42