dx

Document type :
Autre communication scientifique (congrès sans actes - poster - séminaire...)
Title :
dx
Author(s) :
Hym, Samuel [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
English keyword(s) :
Computer Science
Provable Security
Security
Formal Methods
HAL domain(s) :
Informatique [cs]
English abstract : [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 ...
Show more >
Language :
Anglais
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail