wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (09/28/89)
St. Louis and Groningen University, The Netherlands,
will speak on ``A Form Approach to Program Inversion.''
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
PROGRAMMING SEMINAR
-Monday, October 2, 1989
Professor Jan Tijmen Udding, Washington University, St.
Louis and Groningen University, The Netherlands will
speak on ``A Form Approach to Program Inversion.''
TIME: 10:30 a.m.
ROOM: DC 3307
ABSTRACT
The inverse of a program undoes all the effects of the
program that it inverts. Until recently program
inversion was performed informally and did not really
seem to be a useful technique. We formalize the
concept of program inversion and argue that it is a
useful addition to existing program derivation
techniques. Through an example we show that it is
easier in certain cases to invert a program to solve a
given problem than to derive a program in the usual
way.