Slides: .pdf

Abstract:
Program inversion is a fundamental concept in program transformation. 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 core of the system uses a stack-based language, local inversion, and eliminates nondeterminism by applying methods from parsing theory.