Language constructs for programming by example

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 ... View More