- 3
David Delahaye
3
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 1
- 1
- 1
RelExt : Synthèse de code à partir de spécifications inductivesAFADL 2013, Apr 2013, Nancy, France. 4 p
Communication dans un congrès
hal-01126320v1
|
|
Producing Certified Functional Code from Inductive SpecificationsInternational 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 FocalizeJourn?es Francophones des Langages Applicatifs (JFLA'10), Jan 2010, La Ciotat, France. pp.55-81
Communication dans un congrès
hal-01125723v1
|