Automated program synthesis
Summarizes the start of the art in program synthesis and shows examples from a specialized system that generates Fortran and C code for mathematical modeling.
Saved in:
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Format: | Video VHS |
| Language: | English |
| Published: |
Stanford, CA :
University Video Communications,
c1990.
|
| Series: | Distinguished lecture series. Industry leaders in computer science and electrical engineering
|
| Subjects: |
| Summary: | Summarizes the start of the art in program synthesis and shows examples from a specialized system that generates Fortran and C code for mathematical modeling. |
|---|---|
| Item Description: | Colour recording system: PAL. "Sponsored by Schlumberger Laboratory for Computer Science"--Container cover. |
| Physical Description: | 1 videocassette (VHS) (53 min.) : sd., col. ; 1/2 in. |