digger

Grimaud, Gilles; Hym, Samuel; Oudjail, Veïs

Type de document :

Autre communication scientifique (congrès sans actes - poster - séminaire...)

Titre :

digger

Auteur(s) :

Grimaud, Gilles []
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Hym, Samuel [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Oudjail, Veïs [Auteur]
Université de Lille

Mot(s)-clé(s) en anglais :

Computer Science
Provable Security
Security
Formal Methods

Discipline(s) HAL :

Informatique [cs]

Résumé en anglais : [en]

This repository contains a tool to convert Coq code written in a “C-style” (imperative style based on a monad, with full application of functions) into the corresponding C code or to an intermediate representation (deep) ...
Lire la suite >This repository contains a tool to convert Coq code written in a “C-style” (imperative style based on a monad, with full application of functions) into the corresponding C code or to an intermediate representation (deep) output as Coq source code. It starts from the Coq code extracted as JSON by the internal extraction facility.Lire moins >

Langue :

Anglais

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Fichiers

document
Accès libre
Accéder au document

digger-v1.0.0.zip
Accès libre
Accéder au document

digger BibTeX CSV Excel RIS

Fichiers

digger

BibTeX

CSV

Excel

RIS