Improving basic narrowing techniques and commutation properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1987

Improving basic narrowing techniques and commutation properties

Pierre Rety
  • Function : Author

Abstract

In this paper, we propose a new and complete method based on narrowing for solving equations in equational theories. This method is complete in the sense that it gives all the solutions. It is a combination of basic narrowing, which is not obvious, because their naïve combination is not a complete method. We show that it is more efficient than the existing methods in many cases, and for that establish commutation properties on the narrowing. It provides an algorithm that has been implemented as an extension of the software REVE.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0681.pdf (1.27 Mo) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00075872 , version 1

Cite

Pierre Rety. Improving basic narrowing techniques and commutation properties. [Research Report] RR-0681, INRIA. 1987. ⟨inria-00075872⟩
40 View
39 Download

Share

Gmail Facebook Twitter LinkedIn More