Contact Us

The History of Artificial Intelligence

A deductive approach to program synthesis.

purl.stanford.edu/pb593mh9420
Title:
A deductive approach to program synthesis.
Author:
Manna, Zohar and Waldinger, Richard J.
Author (no Collectors):
Manna, Zohar and Waldinger, Richard J.
Description:
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
Topic:
Computer science
Subject:
Stanford University. Computer Science Department
Language:
English
Physical Description:
1 text file
Publication Info:
cau and Stanford (Calif.)
Date:
November 01, 1978
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), November 1, 1978
Genre:
technical reports
Identifier:
CS-TR-1978-690
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
3840/2