Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Maja H. Kirkeby, Robert Glück · 2020
We introduce a language-independent framework for reasoning about program inverters by conditional term rewriting systems. These systems can model the three fundamental forms of inversion, i.e., full, partial and semi-inversion, in declarative languages.