The Program Inverter LRinv and Its Structure. Program inversion is a fundamental concept in programtransformation. We describe the principles behind an automatic program inverter, which we developed for a first-order functional language, and show several inverse programs automatically produced by our system. The examples belong to different application areas, including encoding and decoding, printing and parsing, and bidirectional data conversion. The core of the system uses a stack-based language, local inversion, and eliminates nondeterminism by applying methods from parsing theory.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Nishida, Naoki; Niwa, Minami: Determinization of inverted grammar programs via context-free expressions (2021)
- Ish-Shalom, Oren; Itzhaky, Shachar; Manevich, Roman; Rinetzky, Noam: Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (2020)
- Nagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki: Determinization of conditional term rewriting systems (2012)
- Nishida, Naoki; Sakai, Masahiko: Completion after program inversion of injective functions (2009)