Décurryfication certifiée - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Décurryfication certifiée

(1)
1

Abstract

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.
Fichier principal
Vignette du fichier
dargaye.pdf (339.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00338974 , version 1 (14-11-2008)

Identifiers

  • HAL Id : inria-00338974 , version 1

Cite

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⟩

Collections

INRIA INRIA2 ANR
121 View
53 Download

Share

Gmail Facebook Twitter LinkedIn More