Compilation of head and strong reduction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1993

Compilation of head and strong reduction

Résumé

Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps conversion for the compilation of head and strong reductions. We apply cps expressions to a special continuation so that their head or strong normal can be obtained by the usual weak-head reduction. We remain within the functional framework and no special abstract machine is needed. Used as a preliminary step our method allows a standard compiler to evaluate under l's.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-2132.pdf (170.8 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00074540 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074540 , version 1

Citer

Pascal Fradet. Compilation of head and strong reduction. [Research Report] RR-2132, INRIA. 1993. ⟨inria-00074540⟩
76 Consultations
136 Téléchargements

Partager

Gmail Facebook X LinkedIn More