HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Décurryfication certifiée

Zaynah Dargaye 1, *
* Corresponding author
Résumé : La décurryfication (transformation de fonctions curryfiées en fonctions n-aires) est une optimisation courante dans la compilation de langage fonctionnel. Nous présentons ici une preuve de préservation sémantique de cette optimisation menée dans l'assistant de preuve Coq.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00338974
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Friday, November 14, 2008 - 7:05:52 PM
Last modification on : Friday, February 4, 2022 - 3:12:51 AM
Long-term archiving on: : Tuesday, October 9, 2012 - 3:26:52 PM

File

dargaye.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00338974, version 1

Collections

Citation

Zaynah Dargaye. Décurryfication certifiée. Journées Francophones des Langages Applicatifs (JFLA 2007), INRIA, Jan 2007, Aix-les-Bains, France. pp.119-134. ⟨inria-00338974⟩

Share

Metrics

Record views

117

Files downloads

52