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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01526659
Contributor : Nicolas Stouls <>
Submitted on : Tuesday, May 23, 2017 - 12:58:24 PM
Last modification on : Wednesday, November 28, 2018 - 9:36:02 AM
Document(s) archivé(s) le : Monday, August 28, 2017 - 5:51:58 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

167

Files downloads

77