Semi-inversion of conditional constructor term rewriting systems

DOI10.1007/978-3-030-45260-5_15MaRDI QIDQ5097640zbMATHOpenAlexWikidataFDO

Authors Maja H. Kirkeby, Robert Glück

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

logic programsprogram transformationfunctional programsprogram inversionconditional term rewriting systems

Mathematics Subject Classification ID

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

Recommendations

• Term Rewriting and Applications
• Program inversion for tail recursive functions
• A program inverter for a functional language with equality and constructors.
• Completion after program inversion of injective functions
• Automatic Partial Inversion of Inductively Sequential Functions

Cites work

• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 3716761 (Why is no real title available?)
• scientific article; zbMATH DE number 1405447 (Why is no real title available?)
• A method for automatic program inversion based on LR(0) parsing
• A program inverter for a functional language with equality and constructors.
• Automatic Partial Inversion of Inductively Sequential Functions
• Determinization of conditional term rewriting systems
• Program inversion for tail recursive functions
• Programming with narrowing: a tutorial
• Reversible Machine Code and Its Abstract Processor Architecture
• Reversible computation in term rewriting
• Term Rewriting and All That
• Term Rewriting and Applications
• The integration of functions into logic programming: From theory to practice
• The universal resolving algorithm and its correctness: Inverse computation in a functional language

Cited in

(5)

• Term Rewriting and Applications
• Program inversion for tail recursive functions
• Statement inversion and strongest postcondition
• Completion after program inversion of injective functions
• Reversible computing from a programming language perspective

This page was built for publication: Semi-inversion of conditional constructor term rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097640)