Modeling reducibility on ground terms using constraints - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2009

Modeling reducibility on ground terms using constraints

(1) , (2)
1
2

Abstract

In this note, we explain how to model (ir)reducibility of rewriting on ground terms using (dis)equational constraints. We show in particular that innermost (ir)reducibility can be modeled with a particular narrowing relation and that (dis)equational constraints are issued from the most general unifiers of this narrowing relation.
Fichier principal
Vignette du fichier
note-HAL.pdf (115.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00387058 , version 1 (22-05-2009)

Identifiers

  • HAL Id : inria-00387058 , version 1

Cite

Isabelle Gnaedig, Hélène Kirchner. Modeling reducibility on ground terms using constraints. [Research Report] 2009, pp.9. ⟨inria-00387058⟩
83 View
57 Download

Share

Gmail Facebook Twitter LinkedIn More