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

Abstract : 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 previous methods. 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 correct.
Type de document :
Article dans une revue
Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.3-66. 〈10.1007/s10990-009-9042-z〉
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00359213
Contributeur : Tom Hirschowitz <>
Soumis le : vendredi 6 février 2009 - 12:17:14
Dernière modification le : mercredi 4 octobre 2017 - 14:56:17
Document(s) archivé(s) le : mardi 8 juin 2010 - 21:58:21

Fichiers

letrec.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LAMA | UGA

Citation

Tom Hirschowitz, Xavier Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages. Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.3-66. 〈10.1007/s10990-009-9042-z〉. 〈hal-00359213〉

Partager

Métriques

Consultations de la notice

365

Téléchargements de fichiers

258