AI.ELLIE@MCC.COM.UUCP (06/15/87)
Please join the AI group for the following speaker:
ON THE MECHANIZATION OF PROGRAMMER'S KNOWLEDGE
Henryk Jan Komorowski
Harvard University
June 17 - 10:00
MCC Balcones Auditorium
What do programmers with experience in writing programs know and how
can this knowledge be mechanized so it can be used by a computer? This
talk presents an informal overview of the foundations of mechanical
support for software design. The goal of the mechanization is to
provide an intelligent assistant for the programmer that can uncover
flaws in the design rather than automatically generate programs. What
programmer knows is divided into knowledge of data structures,
recursive schemata, assimilation rules, and the process of designing a
program which is similar to extension of a theory. A prototype system
now implemented provides salient advice, despite its limited
knowledge-base.
June 17 - 10:00
MCC Balcones Auditorium
-------
-------