A deductive approach to program synthesis

Available Online:

https://purl.stanford.edu/pb593mh9420

Title:

A deductive approach to program synthesis

Relation:

Stanford University. Libraries. Department of Special Collections and University Archives3840/2https://purl.stanford.edu/pb593mh9420, Stanford University, Department of Computer Science, Technical Reports, and Stanford Artificial Intelligence Laboratory records, 1963-2009

PublishDate:

2021-02-05T23:25:34Z

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.

Identifier:

CS-TR-1978-690

Contributor:

Manna, Zohar (autAuthor) and Waldinger, Richard J. (autAuthor)

Type:

Text and technical reports

Date:

1978-11-01

Language:

engEnglish

Format:

1 text file, technical reports, and image/jpeg

Subject:

Stanford University. Computer Science Department and Computer science

Thumbnail:

{data={format=image/jpeg, width=310, @id=https://stacks.stanford.edu/image/iiif/pb593mh9420%2Fpb593mh9420_01/full/!400,400/0/default.jpg, @type=dctypes:Image, service={data={@context=http://iiif.io/api/image/2/context.json, @id=https://stacks.stanford.edu/image/iiif/pb593mh9420%2Fpb593mh9420_01, profile=http://iiif.io/api/image/2/level2.json}}, height=400}}

Exhibit Tags:

Technical Report