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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00387058
Contributor : Isabelle Gnaedig <>
Submitted on : Friday, May 22, 2009 - 7:22:44 PM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
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

222

Files downloads

144