WG211/M3Glück
From WG 2.11
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.