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

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00074540 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More