排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序. 相似文献
2.
3.
4.
本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算法。 相似文献
5.
四、程序的交换在算法的设计方法中,递归是一种很重要的工具。然而在算法的程序实现中,递归程序的效率低于循环程序。而且有时候,由于设计者所容许采用的语言的限制,根本无法实现递归算法。因此,关于由递归程序变换成循环程序的理论,不但对编译技术,就是对程序方法论,也具有重要意义。 相似文献
6.
本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法. 相似文献
7.
本文提出了一种抽象数学机——正则自动机(简称RA)作为程序流程的数学模型。为了描述RA的语义特性,文中把自动机理论中的正则语言与数理逻辑的模型论语言结合起来,建立了一种一阶谓词的动态逻辑语言(?)_R。文中表明,一些现有的程序逻辑公理系统,例如,著名的Hoare公理系统可以作为(?)_R的可证定理推导出来。论文的第一部分介绍了RA的基本概念,二讨论RA的语义学特性,三讨论了RA模型在程序分析与综合中的应用,四讨论了RA模型在递归一循环变换中的应用。 相似文献
8.
本文介绍了我们在递归程序自动综合方面的一些研究,我们的初步成果主要有三个方面:1.发展了一种新的机器推理技术——子目标演绎法,它在一定程度上缓合了组合爆炸的困难;2.在程序综合方面,利用了结构归纳法原理,从而建立了一种自动综合程序的图式;3.利用1.,2.设计并且在FELIX C-256计算机上实现了“LISP递归程序自动综合的实验系统”(RPS-1)。 相似文献
1