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

Tom Hirschowitz 1 Xavier Leroy 1, * J. B. Wells
* Auteur correspondant
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 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.
Type de document :
Communication dans un congrès
PPDP '03, 2003, Uppsala, Sweden. ACM, pp.160--171, 2003, 〈10.1145/888251.888267〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00310121
Contributeur : Tom Hirschowitz <>
Soumis le : vendredi 8 août 2008 - 08:59:31
Dernière modification le : mercredi 20 janvier 2010 - 11:31:54
Document(s) archivé(s) le : jeudi 3 juin 2010 - 18:04:35

Fichier

compil-recursion.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

194

Téléchargements du document

96