Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ames!sdcsvax!ucbvax!VENICE.AI.SRI.COM!lansky
From: lansky@VENICE.AI.SRI.COM (Amy Lansky)
Newsgroups: comp.ai.digest
Subject: Seminar - Knowledge-Based Software Development Tools (SRI)
Message-ID: <8705272349.AA10345@venice>
Date: Wed, 27-May-87 19:49:56 EDT
Article-I.D.: venice.8705272349.AA10345
Posted: Wed May 27 19:49:56 1987
Date-Received: Wed, 3-Jun-87 01:09:27 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 21
Approved: ailist@stripe.sri.com


             KNOWLEDGE-BASED SOFTWARE DEVELOPMENT TOOLS

                Douglas R. Smith (SMITH@KESTREL.ARPA)
                      Kestrel Institute 

                   11:00 AM, MONDAY, June 1
            SRI International, Building E, Room EJ228


We describe some of the experimental knowledge-based software
development tools under development at Kestrel Institute.  In
particular, we discuss systems for automatically performing algorithm
design, deduction, optimization (finite differencing), data structure
selection, and performance estimation.  We show how these systems
could cooperate in supporting the transformation of a formal
specification of a schedule optimization problem into efficient code.


VISITORS:  Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk.  Thanks!