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: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
No edit summary |
||
| Line 4: | Line 4: | ||
Title: The structure of a program inverter | Title: The structure of a program inverter | ||
<br> | <br> | ||
Speaker: Robert | Speaker: Robert Glück | ||
Slides: [[ | Slides: [[Media:RG-slides-Dagstuhl060127.pdf]] | ||
Abstract: <br> | Abstract: <br> | ||
Revision as of 14:21, 16 December 2011
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.
