Compilation of head and strong reduction - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

Compilation of head and strong reduction


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.


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

Dates and versions

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


  • HAL Id : inria-00074540 , version 1


Pascal Fradet. Compilation of head and strong reduction. [Research Report] RR-2132, INRIA. 1993. ⟨inria-00074540⟩
75 View
105 Download


Gmail Facebook Twitter LinkedIn More