InvX: An automatic function inverter. We have implemented InvX, a system that will mechanically generate inverses for a substantial class of functions. By applying an extended set of function-level axioms at compile-time, expressions for the inverses are transformed so that no unification is required at run-time in many cases. This makes the cost of their execution comparable with that of reduction-based semantics. We have also described the incorporation of InvX in the FLAGSHIP programming environment. InvX has been used successfully on a wide range of examples.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
- Nishida, Naoki; Vidal, Germán: Computing more specific versions of conditional rewriting systems (2013)
- Nagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki: Determinization of conditional term rewriting systems (2012)
- Nishida, Naoki; Vidal, German: Program inversion for tail recursive functions (2011)
- Almendros-Jiménez, Jesús M.; Vidal, Germán: Automatic partial inversion of inductively sequential functions (2007)
- Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki: Partial inversion of constructor term rewriting systems (2005)
- Glück, Robert; Kawabe, Masahiko: Derivation of deterministic inverse programs based on LR parsing (2004)
- Glück, Robert; Kawabe, Masahiko: A program inverter for a functional language with equality and constructors. (2003)
- Abramov, Sergei; Glück, Robert: Principles of inverse computation and the universal resolving algorithm (2002)
- Abramov, Sergei; Glück, Robert: The universal resolving algorithm: Inverse computation in a functional language (2000)
- Dershowitz, Nachum (ed.): Rewriting techniques and applications. 3rd international conference, RTA- 89, Chapel Hill, NC, USA, April 3-5, 1989. Proceedings (1989)