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: |