InfoCoBuild

Automated Program Synthesis

By Elaine Kant. This video was recorded in May 1990. 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.

Automated Program Synthesis


Related Links
The Beauty and Joy of Computing
This course provide an introduction to the beauty and joy of computing, dealing with the history, social implications, great principles, and future of computing.
Programming Methodology
This course is an introduction to the engineering of computer applications emphasizing modern software engineering principles: object-oriented design, decomposition, encapsulation, abstraction, and testing.