Unification des couleurs dans un lambda-calcul polychrome

Résumé : Dans cet article nous étendons le lambda-calcul bi-chrome présent é aux JFLA 2012 pour y introduire la polychromie. On d éfi nit une nouvelle transformation, par beta-expansion, qui regroupe les expressions de même couleur, chaque couleur pouvant repr ésenter une unit é de calcul. On ne se contente plus de pouvoir expliciter la localit é d'un calcul dans un mod èle à deux couleurs comme pour les clients-serveurs mais nous pouvons traiter les applications multi-tiers. Les propri et és de correction, de terminaison et de confluence de cette nouvelle transformation sont d emontr ées à l'aide de Coq.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00918944
Contributeur : Bernard Serpette <>
Soumis le : mardi 17 décembre 2013 - 10:39:40
Dernière modification le : jeudi 11 janvier 2018 - 16:59:46
Document(s) archivé(s) le : lundi 17 mars 2014 - 22:15:33

Fichier

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

Identifiants

  • HAL Id : hal-00918944, version 1

Collections

Citation

Bernard Serpette, Pascal Manoury, Emmanuel Chailloux. Unification des couleurs dans un lambda-calcul polychrome. 2013. 〈hal-00918944〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

267