A deductive approach to program synthesis

Add Circle Remove Circle Resize Small Custom Fullscreen
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