On Program Synthesis Knowledge. AIM-306
Abstract/Contents
- Abstract
This paper presents a body of program synthesis knowledge dealing with
array operations, space reutilization, the divide and conquer paradigm,
conversion from recursive paradigms to iterative paradigms, and ordered
set enumerations. Such knowledge can be used for the synthesis of
efficient and in-place sorts including quicksort, mergesort, sinking sort,
and bubble sort, as well as other ordered set operations such as set
union, element removal, and element addition. The knowledge is explicated
to a level of detail such that it is possible to codify this knowledge as
a set of program synthesis rules for use by a computer-based synthesis
system. The use and content of this set of programming rules is
illustrated herein by the methodical synthesis of bubble sort, sinking
sort, quicksort, and mergesort.
Description
Type of resource | text |
---|---|
Form | memorandums |
Extent | 1 text file |
Place | Stanford (Calif.) |
Date created | November 1977 |
Language | English |
Digital origin | reformatted digital |
Creators/Contributors
Author | Green, Cordell | |
---|---|---|
Author | Barstow, David |
Subjects
Subject | Stanford Artificial Intelligence Laboratory |
---|---|
Subject | Memo (Stanford Artificial Intelligence Laboratory) |
Subject | Artificial intelligence |
Genre | Memorandums |
Bibliographic information
Finding Aid | |
---|---|
Memo | AIM-306 |
Location | https://purl.stanford.edu/hp440nk7846 |
Location | SC1041 |
Repository | Stanford University. Libraries. Department of Special Collections and University Archives |
Access conditions
- Use and reproduction
- The materials are open for research use and may be used freely for non-commercial purposes with an attribution. For commercial permission requests, please contact the Stanford University Archives (universityarchives@stanford.edu).
- Copyright
- Copyright © The Board of Trustees of the Leland Stanford Junior University. All rights reserved.
Collection
Stanford Artificial Intelligence Laboratory records, 1963-2009
View other items in this collection in SearchWorksAlso listed in
Loading usage metrics...