Other Publications Year : 2017

VOCAL – A Verified OCAml Library

Abstract

▼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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01561094 , version 1

Cite

Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier. VOCAL – A Verified OCAml Library. 2017. ⟨hal-01561094⟩
658 View
493 Download

Share

  • More