program synthesis

A Top-Down Method for Inductive Program Synthesis

自顶向下的归纳程序综合方法

Dtps: a program synthesis system based on tableau method

基于Tableau方法的程序综合系统&DTPS

With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.

本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。

An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer.

在程序综合方面，利用了结构归纳法原理，从而建立了一种自动综合程序的图式；

The application of mode inference in inductive program synthesis

模式推理在归纳程序综合中的应用

Big School will be Xu Nailin the inland synthesis skill program leans the sentiment choice.

《淑女大学堂》将是徐乃麟内地综艺节目的倾情选择.

A new algorithm A# that is a revision of A given in Ref. [ 1] is developed without the introduction of the induction principle. It can be used for performing loop and recursive automatic program synthesis even more satisfactorily.

本文提出不使用归纳原理实现循环和递归程序设计自动化，对文献[1]中算法A~进行了修改，提出算法A~。

During the post processing of TV program, the application of non-linear editing network makes the sharing of program material resources much convenient, and eliminates picture quality degradation induced by synthesis and copy of video cassette.

在电视节目的后期制作中，非线性编辑网络的使用实现了节目素材资源的共享，克服了录像带多版合成、复制图像质量劣化的缺点。

A method of inductive program synthesis by concept learning is presented in this paper.

本文介绍一种基于概念学习的归纳程序综合方法。