WG211/M3Glück

From WG 2.11
Jump to: navigation, search


Title: The structure of a program inverter
Speaker: Robert Glück

Slides: Media:RG-slides-Dagstuhl060127.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.