Inversion Strategies

Nachum Dershowitz Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00100570
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:47:42
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00100570, version 1

Collections

Citation

Nachum Dershowitz, Claude Kirchner. Inversion Strategies. Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p, 2001. 〈inria-00100570〉

Partager

Métriques

Consultations de la notice

178