Tracking Data-Flow with Open Closure Types

Résumé : Les systèmes de types cachent les variables capturées par une fermeture, et ce dès sa création. À un point donné du programme, il est en fait possible de mentionner certaines de ces variables, celles qui sont toujours présentes dans l'environnement lexical de typage. Ce raffinement des types de fermetures, plus ''ouverts'' car mentionnant le contexte qui les entoure, est désirable pour certaines applications des systèmes de types à l'analyse de programmes. Cet article introduit formellement de tels types ouverts de fermetures, pour mettre à plat leur traitement théorique recélant quelques difficultés techniques: le type d'une fermeture mentionne ses dépendances sur le contexte, et varie donc selon les différents point du programme. En guise d'exemple, ils sont utilisés pour garder trace des informations de typage de flots de données induits par la capture des valeurs de l'environnement dans les fermetures. Un prototype d'implémentation de ce système de types est publiquement disponible.
Type de document :
Rapport
[Research Report] RR-8345, INRIA. 2013, pp.24
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00851658
Contributeur : Scherer Gabriel <>
Soumis le : lundi 19 août 2013 - 16:45:09
Dernière modification le : vendredi 16 septembre 2016 - 15:08:29
Document(s) archivé(s) le : mercredi 5 avril 2017 - 20:55:39

Identifiants

  • HAL Id : hal-00851658, version 1

Collections

Citation

Gabriel Scherer, Jan Hoffmann. Tracking Data-Flow with Open Closure Types. [Research Report] RR-8345, INRIA. 2013, pp.24. 〈hal-00851658〉

Partager

Métriques

Consultations de
la notice

346

Téléchargements du document

506