Derivation of Deterministic Inverse Programs Based on LR Parsing

We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a program for runlength encoding. We solve one of the main problems of automatic program inversion—the elimination of nondeterminism—by viewing an inverse program as a context-free grammar and applying to it methods of LR parsing to turn it into a recursive, deterministic inverse program. This improves the efficiency of the inverse programs and greatly expands the application range of our earlier method for program inversion.

• Type: Conference
• Year: 2004
• Where: FLOPS
• Authors: Robert Glück, Masahiko Kawabe
• Keywords: Automatic Program Inversion, FLOPS 2004, Hardware, Inverse Programs, LR Parsing