Accéder directement au contenu

David Delahaye

3
Documents
Identifiants chercheurs

Présentation

Publications

964634

RelExt : Synthèse de code à partir de spécifications inductives

David Delahaye , Catherine Dubois , Pierre-Nicolas Tollitte
AFADL 2013, Apr 2013, Nancy, France. 4 p
Communication dans un congrès hal-01126320v1

Producing Certified Functional Code from Inductive Specifications

Pierre-Nicolas Tollitte , David Delahaye , Catherine Dubois
International Conference on Certified Programs and Proofs (CPP 2012), Dec 2012, Kyoto, Japan. pp.76-91
Communication dans un congrès hal-01126212v1

Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize

David Delahaye , Catherine Dubois , Pierre-Nicolas Tollitte
Journ?es Francophones des Langages Applicatifs (JFLA'10), Jan 2010, La Ciotat, France. pp.55-81
Communication dans un congrès hal-01125723v1