Artifact Details

Title

Automated program synthesis

Catalog Number

102624682

Type

Moving Image

Date

1990-05

Credits

Kant, Elaine

Publisher

University Video Communications

Duration

00:53:05

Format

Betacam SP

Copyright Holder

Computer History Museum

Description

From University Video Communicatoins' cattalog:

"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."

Category

Lecture

Credit

Gift of University Video Communications

Lot Number

X6636.2013