Automatic Partial Inversion of Inductively Sequential Functions
From MaRDI portal
Publication:3612954
DOI10.1007/978-3-540-74130-5_15zbMath1226.68024OpenAlexW2136765833MaRDI QIDQ3612954
Germán Vidal, Jesús M. Almendros-Jiménez
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
Related Items (7)
Determinization of conditional term rewriting systems ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Reversible computation in term rewriting ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Unnamed Item ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Completion after Program Inversion of Injective Functions
Uses Software
This page was built for publication: Automatic Partial Inversion of Inductively Sequential Functions