automatic program synthesis

基本解釋

An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer.
在程序綜合方面，利用了結(jié)構(gòu)歸納法原理，從而建立了一種自動(dòng)綜合程序的圖式；
This paper deals with the automatic synthesis application programs using macro LISP, an artificial intelligence language, describing its principle, creation and package of program automatic synthesis.
敘述應(yīng)用人工智能語(yǔ)言宏LISP自動(dòng)生成數(shù)據(jù)庫(kù)管理系統(tǒng)應(yīng)用程序的設(shè)計(jì)思想。