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.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporace: | , |
| Médium: | Video VHS |
| Jazyk: | English |
| Vydáno: |
Stanford, CA :
University Video Communications,
c1990.
|
| Edice: | Distinguished lecture series. Industry leaders in computer science and electrical engineering
|
| Témata: |
| LEADER | 01505cgm a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000232308 | ||
| 003 | CARM | ||
| 005 | 20070411124356.0 | ||
| 007 | vf cbahou | ||
| 008 | 930223s1990 cau053 vleng d | ||
| 019 | 1 | |a 9404082 |5 LACONCORD2021 | |
| 035 | |a (OCoLC)26691725 |5 LACONCORD2021 | ||
| 040 | |a XNTU |b eng |c XNTU |d NU | ||
| 082 | 0 | 4 | |a 005.4 |2 20 |
| 100 | 1 | |a Kant, Elaine. | |
| 245 | 1 | 0 | |a Automated program synthesis |h [videorecording] / |c Elaine Kant. |
| 260 | |a Stanford, CA : |b University Video Communications, |c c1990. | ||
| 300 | |a 1 videocassette (VHS) (53 min.) : |b sd., col. ; |c 1/2 in. | ||
| 440 | 0 | |a Distinguished lecture series. |n V. III., |p Industry leaders in computer science and electrical engineering | |
| 500 | |a Colour recording system: PAL. | ||
| 500 | |a "Sponsored by Schlumberger Laboratory for Computer Science"--Container cover. | ||
| 518 | |a Recorded 28 May 1990. | ||
| 520 | |a 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. | ||
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Engineering |x Computer programs. | |
| 710 | 2 | |a University Video Communications | |
| 710 | 2 | |a Schlumberger Laboratory for Computer Science. | |
| 852 | 8 | |b CARM |h A1:AP16A0 |i A04192 |p 0340779 |f VM | |
| 999 | f | f | |i 1f3e3a55-e6c0-5bd9-ab2a-e0e2bd868a7e |s 2eef76b7-05e1-5611-948c-9764dbb3f8af |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e A04192 |f A1:AP16A0 |h Other scheme |i unspecified |m 0340779 |