Skip to Main content Skip to Navigation
Reports

Modeling reducibility on ground terms using constraints

Isabelle Gnaedig 1, * Hélène Kirchner 2
* Corresponding author
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
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.
Document type :
Reports
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00387058
Contributor : Isabelle Gnaedig Connect in order to contact the contributor
Submitted on : Friday, May 22, 2009 - 7:22:44 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Monday, October 15, 2012 - 10:57:32 AM

File

note-HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00387058, version 1

Collections

Citation

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

Share

Metrics

Record views

266

Files downloads

163