Prototype d'interface utilisateur de la librairie Foc - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Prototype d'interface utilisateur de la librairie Foc

Résumé

Ce papier présente le noyau d'une interface permettant de construire des bibliothèques de programmes de calcul formel avec leurs certifications. Ces définitions sont traduites vers Ocaml et Coq. Après avoir rapidement présenté la syntaxe concrète utilisée, nous étudions des moyens de représenter en Ocaml et surtout en Coq les différentes structures utilisées.
Fichier non déposé

Dates et versions

hal-01570816 , version 1 (31-07-2017)

Identifiants

  • HAL Id : hal-01570816 , version 1

Citer

Virgile Prévosto. Prototype d'interface utilisateur de la librairie Foc. JFLA 2001 - 12èmes Journées Francophones des Langages Applicatifs, Jan 2001, Pontarlier, France. ⟨hal-01570816⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More