Séparation des couleurs dans un lambda-calcul bichrome - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Séparation des couleurs dans un lambda-calcul bichrome

Résumé

Dans cet article nous introduisons un λ-calcul bichrome pour expliciter une partie de l'évaluation d'un terme en précisant la localité du calcul1. L'intérêt est alors de pouvoir définir une transformation, par β-expansion, qui regroupe les expressions de même couleur. Les propriétés de correction, de terminaison et de confluence de cette transformation sont démontrées 'a l'aide de l'assistant de preuves Coq. Cette transformation est indépendante de la sémantique de communication et de synchronisation de l'application. On s'intéresse alors aux applications utilisant deux unités de calcul comme les couples client-serveur de la programmation Web. Nous abordons le passage à un λ-calcul à plus de deux couleurs et montrons les difficultés que cela engendre.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
paper_8.pdf (265.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00665958 , version 1 (03-02-2012)

Identifiants

  • HAL Id : hal-00665958 , version 1

Citer

Emmanuel Chailloux, Bernard P. Serpette. Séparation des couleurs dans un lambda-calcul bichrome. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. ⟨hal-00665958⟩
153 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More