1、

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

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

互联网摘选

2、

A New Pattern of Recursive Program Transformation& CZ Transformation

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

互联网摘选

3、

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

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

互联网摘选

4、

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

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

互联网摘选

5、

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

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

互联网摘选

6、

Strongly constructive learning of a sort of recursive logic program

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

互联网摘选

7、

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~。

互联网摘选

  • 今日热词
  • 热门搜索

微语录(www.volg.cn)为您提供在线词典、英语翻译、单词大全、英译汉、汉译英等英语服务!可通过lj:关键词格式搜索句子,如lj:affect,搜索affect相关的双语例句!

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈