recursive program

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

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

You must specify the RECURSIVE clause only on the outermost program of a compilation unit.

您必须只对编译单元的最外层程序指定RECURSIVE子句。

A New Pattern of Recursive Program Transformation& CZ Transformation

递归程序变换的一种新模式一CZ变换

Strongly constructive learning of a sort of recursive logic program

一类递归逻辑程序的强构造学习

The paper presents a recursive algorithm on generating product structure information, which is a PRO C program on ORACLE system.

提出了ORACLE关系数据库系统中用pro c实现的产品结构信息的递归生成算法。

The paper includes concept of Pro-graph, state alignment, and termination problem of recursive program.

其中包括Pro图的概念和Pro图的状态序列及递归程序的终止问题。