lansky@VENICE.AI.SRI.COM (Amy Lansky) (05/28/87)
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!