Semi-inversion of Conditional Constructor Term Rewriting Systems

DOI10.1007/978-3-030-45260-5_15zbMath1502.68152OpenAlexW3018857170WikidataQ125525904 ScholiaQ125525904MaRDI QIDQ5097640

Robert Glück, Maja H. Kirkeby

Publication date: 25 August 2022

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-45260-5_15

zbMATH Keywords

program transformationlogic programsfunctional programsprogram inversionconditional term rewriting systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (1)

Reversible computing from a programming language perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• Programming with narrowing: a tutorial
• Reversible computation in term rewriting
• Determinization of conditional term rewriting systems
• Reversible Machine Code and Its Abstract Processor Architecture
• Automatic Partial Inversion of Inductively Sequential Functions
• The integration of functions into logic programming: From theory to practice
• Term Rewriting and All That
• Program Inversion for Tail Recursive Functions
• Term Rewriting and Applications
• Programming Languages and Systems

This page was built for publication: Semi-inversion of Conditional Constructor Term Rewriting Systems