PROGRAMMING BY EXAMPLES

被引：17

作者：

BAUER, MA

机构：

[1] Department of Computer Science, The University of Western Ontario, London, Ont.

来源：

ARTIFICIAL INTELLIGENCE | 1979年 / 12卷 / 01期

关键词：

D O I：

10.1016/0004-3702(79)90002-X

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, examples of how an algorithm behaves on particular input are considered as possible means of describing the algorithm. In particular, a simple language for examples (a Computational Description Language) is presented and an algorithm for the synthesis of a procedure from a set of such example computations is described. The algorithm makes use of knowledge about variables, inputs, instructions and procedures during the synthesis process to guide the formation of a procedure. Several examples of procedures actually synthesized are discussed. © 1979.

引用

页码：1 / 21

页数：21