Maria Bendix Mikkelsen (DIKU, University of Copenhagen, Denmark) |
Robert Glück (DIKU, University of Copenhagen, Denmark) |
Maja H. Kirkeby (Roskilde University, Denmark) |
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non- functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.341.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |