Xref: utzoo ont.events:1319 uw.talks:33 uw.cs.grad:34
Path: utzoo!utgpu!watmath!maytag!water!wlrush
From: wlrush@water.waterloo.edu (Wenchantress Wench Wendall)
Newsgroups: ont.events,uw.talks,uw.cs.grad
Subject: PROGRAMMING SEMINAR
Keywords: Professor Jan Tijmen Udding, Washington University,
Message-ID: <2674@water.waterloo.edu>
Date: 28 Sep 89 12:55:02 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 33

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.