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é)搆歸納法原理，從而建立了一種自動綜郃程序的圖式；
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)用人工智能語言宏LISP自動生成數(shù)據(jù)庫琯理系統(tǒng)應(yīng)用程序的設(shè)計(jì)思想。