Automated program synthesis
The goal of the 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 specifications languages are on part of the solution described here. Also required is knowledge...
Saved in:
Main Author: | |
---|---|
Corporate Author: | |
Format: | Video VHS |
Language: | English |
Published: |
Stanford, CA :
University Video Communications,
1991.
|
Series: | Faculty of Social Sciences distinguished lecture series.
|
Subjects: |
Summary: | The goal of the 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 specifications languages are on part of the solution described here. 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. Elaine Kant is currently the leader of the Design Environment group at the Schlumberger Laboratory. |
---|---|
Physical Description: | 1 videocassette (53 min.) : sd., col. ; 1/2 in. |
Format: | VHS |