Inversion Strategies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Inversion Strategies

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00100570 , version 1

Citer

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⟩
118 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More