Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Sall, Boubacar"'
Autor:
Sall, Boubacar
Publikováno v:
Génie logiciel [cs.SE]. Sorbonne Université, 2020. Français
This thesis investigates certified programming by stepwise refinement in the framework of the Coq proof assistant. This allows the construction of programs that are correct by construction. The programming language that is considered is a simple impe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::5e1d9e1809a6ac884b5cafa8547cfa2a
https://hal.archives-ouvertes.fr/tel-02958436
https://hal.archives-ouvertes.fr/tel-02958436
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ac646db77c22f5fe741e2e74010648c
https://hal.sorbonne-universite.fr/hal-01558732
https://hal.sorbonne-universite.fr/hal-01558732