Compilation of extended recursion in call-by-value functional languages

Tom Hirschowitz (1) , Xavier Leroy (1) , J. B. Wells

1 CRISTAL - Typed programming, modularity and compilation

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than standard call-by-value recursive definitions. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be faithful.

Mots clés: Functional programming; letrec; compilation

Domaines: Langage de programmation [cs.PL]

Tom Hirschowitz, Xavier Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages. PPDP '03, 2003, Uppsala, Sweden. pp.160--171, ⟨10.1145/888251.888267⟩. ⟨hal-00310121⟩