Unification des couleurs dans un lambda-calcul polychrome - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Unification des couleurs dans un lambda-calcul polychrome

Abstract

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.
Fichier principal
Vignette du fichier
polylambda.pdf (190.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00918944 , version 1 (17-12-2013)

Identifiers

  • HAL Id : hal-00918944 , version 1

Cite

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux. Unification des couleurs dans un lambda-calcul polychrome. Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. ⟨hal-00918944⟩
274 View
254 Download

Share

Gmail Facebook X LinkedIn More