Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP - Archive ouverte HAL Access content directly
Conference Papers Year :

Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP

(1, 2)
1
2
Fichier principal
Vignette du fichier
main.pdf (443.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01943010 , version 1 (03-12-2018)

Identifiers

  • HAL Id : hal-01943010 , version 1

Cite

Raphaël Rieu-Helft. Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP. JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Rousses, France. ⟨hal-01943010⟩
121 View
112 Download

Share

Gmail Facebook Twitter LinkedIn More