dx
Type de document :
Autre communication scientifique (congrès sans actes - poster - séminaire...)
Titre :
dx
Auteur(s) :
Hym, Samuel [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Mot(s)-clé(s) en anglais :
Computer Science
Provable Security
Security
Formal Methods
Provable Security
Security
Formal Methods
Discipline(s) HAL :
Informatique [cs]
Résumé en anglais : [en]
dx is a tool to derive (hence the name) C code from a monadic Gallina code that looks very much like the final C code. To be more precise, the end result is the abstract syntax tree for C as defined by the module Csyntax ...
Lire la suite >dx is a tool to derive (hence the name) C code from a monadic Gallina code that looks very much like the final C code. To be more precise, the end result is the abstract syntax tree for C as defined by the module Csyntax of the CompCert compiler.Lire moins >
Lire la suite >dx is a tool to derive (hence the name) C code from a monadic Gallina code that looks very much like the final C code. To be more precise, the end result is the abstract syntax tree for C as defined by the module Csyntax of the CompCert compiler.Lire moins >
Langue :
Anglais
Collections :
Source :
Fichiers
- document
- Accès libre
- Accéder au document
- dx-v1.0.0.zip
- Accès libre
- Accéder au document