Title
Automated program synthesisCatalog Number
102624682Type
Moving ImageDescription
From University Video Communicatoins' cattalog:"The goal of automated program synthesis is to bridge the gap between what is easy for people to describe and what is possible to execute on a computer. Application domain models and very high-level specification languages are one part of the solution described on the tape. Also required is knowledge of reusable transformations that map specification constructs to computational models to efficient code. This talk summarizes the state of the art in program synthesis and shows examples from a specialized system that generates FORTRAN and C code for mathematical modeling. For example, from declarative descriptions of equations and properties of finite difference algorithms, the system generates code for the Connection Machine."