On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
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.
