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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00338974
Contributor : Xavier Leroy <>
Submitted on : Friday, November 14, 2008 - 7:05:52 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
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

276

Files downloads

104