VOCAL – A Verified OCAml Library - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Autre Publication Année : 2017

VOCAL – A Verified OCAml Library

Résumé

▼Abstract Libraries are the basic building blocks of any realistic programming project. It is thus of utmost interest for a programmer to build her software on top of bug-free libraries. We present the ongoing VOCAL project, which aims at building a mechanically verified library of general-purpose data structures and algorithms, written in the OCaml language.
Fichier principal
Vignette du fichier
main.pdf (180 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01561094 , version 1 (12-07-2017)

Identifiants

  • HAL Id : hal-01561094 , version 1

Citer

Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier. VOCAL – A Verified OCAml Library. 2017. ⟨hal-01561094⟩
448 Consultations
379 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More