Automatic Partial Inversion of Inductively Sequential Functions

DOI10.1007/978-3-540-74130-5_15MaRDI QIDQ3612954zbMATH OpenOpenAlexFDO

Authors Jesús M. Almendros-Jiménez, Germán Vidal

Publication date 11 March 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A program inverter for a functional language with equality and constructors.
• Term Rewriting and Applications
• A method for automatic program inversion based on LR(0) parsing
• Functional and Logic Programming
• Program inversion for tail recursive functions

Cited in

(15)

• Generation of invertible functions
• On the synthesis of function inverses
• Reversible computation in term rewriting
• Determinization of conditional term rewriting systems
• Determinization of inverted grammar programs via context-free expressions
• scientific article; zbMATH DE number 2090028 (Why is no real title available?)
• scientific article; zbMATH DE number 7455733 (Why is no real title available?)
• Semi-inversion of conditional constructor term rewriting systems
• Completion after program inversion of injective functions
• Functional and Logic Programming
• Program inversion for tail recursive functions
• A method for automatic program inversion based on LR(0) parsing
• Term Rewriting and Applications
• A program inverter for a functional language with equality and constructors.
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches

Describes a project that uses

Uses Software

• InvX

This page was built for publication: Automatic Partial Inversion of Inductively Sequential Functions

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