Inversion Strategies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

Inversion Strategies

Abstract

We consider the problem of inversion, for functions defined by ground-convergent rewrite systems. That is, we are looking for an algorithm for finding most general solutions to problems of the form t = G where $G$ is a ground term. We first reformulate the inversion procedure of DershowitzMitra-RTA99 as goal rewriting rules directed by strategies. Then, for the typical case of sufficiently defined specifications, we present new rules and strategies for solving the inversion problem.
Not file

Dates and versions

inria-00100570 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100570 , version 1

Cite

Nachum Dershowitz, Claude Kirchner. Inversion Strategies. Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p. ⟨inria-00100570⟩
112 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More