Décurryfication certifiée - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Décurryfication certifiée

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
129 View
55 Download

Share

Gmail Mastodon Facebook X LinkedIn More