Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!sri-spam!ames!sdcsvax!ucbvax!MCC.COM!AI.ELLIE
From: AI.ELLIE@MCC.COM.UUCP
Newsgroups: comp.ai.digest
Subject: Seminar - Mechanization of Programmer's Knowledge (MCC)
Message-ID: <12310754176.89.AI.ELLIE@MCC.COM>
Date: Mon, 15-Jun-87 15:12:25 EDT
Article-I.D.: MCC.12310754176.89.AI.ELLIE
Posted: Mon Jun 15 15:12:25 1987
Date-Received: Sat, 20-Jun-87 01:03:51 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 28
Approved: ailist@stripe.sri.com

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
-------
-------