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 Access content directly
Reports Year : 2001

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

Abstract

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
Fichier principal
Vignette du fichier
A01-R-389.pdf (657 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00107538 , version 1

Cite

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 View
27 Download

Share

Gmail Facebook Twitter LinkedIn More