Unification des couleurs dans un lambda-calcul polychrome

Bernard Serpette 1 Pascal Manoury 2 Emmanuel Chailloux 3
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
3 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : Dans cet article nous étendons le lambda-calcul bi-chrome présenté aux JFLA 2012 pour y introduire la polychromie. On définit 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étés de correction, de terminaison et de confluence de cette nouvelle transformation sont démontrées à l'aide de Coq.
Type de document :
Communication dans un congrès
Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
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 : vendredi 16 novembre 2018 - 01:49:43
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. Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014. 〈hal-00918944〉

Partager

Métriques

Consultations de la notice

306

Téléchargements de fichiers

338