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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00918944
Contributor : Bernard Serpette <>
Submitted on : Tuesday, December 17, 2013 - 10:39:40 AM
Last modification on : Sunday, March 31, 2019 - 1:31:14 AM
Long-term archiving on : Monday, March 17, 2014 - 10:15:33 PM

File

polylambda.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00918944, version 1

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. ⟨hal-00918944⟩

Share

Metrics

Record views

338

Files downloads

386