Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul

Résumé

Le \roCal\ intégre dans un cadre uniforme et simple la réécriture du premier ordre et le lambda-calcul tout en permettant d'exprimer le non-déterminisme. Nous introduisons ici un nouveau calcul dans lequel l'échec est distingué de l'ensemble vide et dans lequel le test de l'échec est possible. Si nous munissons ce calcul de l'appel par valeur, nous obtenons un calcul confluent et dans lequel le first est exprimable (et par conséquent les stratégies d'évaluation le sont aussi). Nous concluons sur un bref aperçu des perspectives et des questions restant ouvertes. || The rho-calculus integrates in a uniform and simple setting first-order rewriting, lambda-calculus and non-deterministic computations. In the calculus here introduced, the empty set is not an overloading term i.e. failure is distinguished from the emptys

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A01-R-389.pdf (657 Ko) Télécharger le fichier

Dates et versions

inria-00107538 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107538 , version 1

Citer

Germain Faure. Etude des propriétés du calcul de réécriture: du rho calcul au rhoEpsilon calcul. [Stage] A01-R-389 || faure01a, 2001, 65 p. ⟨inria-00107538⟩
95 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More