@inproceedings{79b58d5aecc1456c8dfb03c2aceb5352,
title = "An inversion tool for conditional term rewriting systems – A case study of Ackermann inversion",
abstract = "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 nonfunctional 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.",
keywords = "Case study, Program inversion, Program transformation, Term rewriting systems, Case study, Program inversion, Program transformation, Term rewriting systems",
author = "Mikkelsen, {Maria Bendix} and Robert Gl{\"u}ck and Kirkeby, {Maja H.}",
year = "2021",
month = sep,
day = "6",
doi = "10.4204/EPTCS.341.3",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "EPTCS",
number = "341",
pages = "33--41",
editor = "Alexei Lisitsa and Nemytykh, {Andrei P.}",
booktitle = "Proceedings of the 9th International Workshop on Verification and Program Transformation",
note = "9th International Workshop on Verification and Program Transformation, VPT 2021 ; Conference date: 27-03-2021 Through 28-03-2021",
}