Modular Aspects of Rewrite-Based Specifications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

Modular Aspects of Rewrite-Based Specifications

Résumé

We investigate modular properties of term rewriting systems, the basic operational formalism for equational specifications. First we study sufficient conditions for the preservation of the termination property under disjoint (and more general) combinations of term rewriting systems. By means of a refined analysis of existing approaches we show how to prove several new asymmetric preservation results. For this purpose we introduce two interesting new properties of term rewriting systems related to collapsing reductions: uniquely collapsing and collapsing confluent. We discuss these properties w.r.t.~well-known confluence, consistency and normal form properties, and show that they are modular for left-linear systems, but not in general.
Fichier principal
Vignette du fichier
RR-3330.pdf (295.13 Ko) Télécharger le fichier

Dates et versions

inria-00073359 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073359 , version 1

Citer

Bernhard Gramlich. Modular Aspects of Rewrite-Based Specifications. [Research Report] RR-3330, INRIA. 1997, pp.20. ⟨inria-00073359⟩
68 Consultations
292 Téléchargements

Partager

Gmail Facebook X LinkedIn More