Year: 1986
Type: conference-paper
Abstract: Systems for programming by example permit the specification of algorithms through the use of demonstrations that manipulate examples. This paper analyzes systems for programming by example from a language point of view. Examples are analyzed as data abstractions, and demonstrations as abstractions for evaluation and control. Criteria are introduced for evaluating both the computational power and the expressiveness of the abstractions. The analysis demonstrates the existence of several previously unconsidered approaches to the more difficult problems associated with programming by example.
DOI: 10.1145/15433.15858
Author: Robert V. Rubin
Institution: Brown University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W2066536723