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.