首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  免费   1篇
自动化技术   8篇
  1994年   1篇
  1993年   1篇
  1992年   1篇
  1987年   1篇
  1986年   1篇
  1984年   2篇
  1983年   1篇
排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
孙怀民  梁群 《计算机学报》1993,16(3):161-170
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.  相似文献   
2.
姜涛  孙怀民 《软件学报》1994,5(11):50-58
本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论.在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Sun工作站上建立了一个自动设计Prolog型程序的实验系统.  相似文献   
3.
4.
四、程序的交换在算法的设计方法中,递归是一种很重要的工具。然而在算法的程序实现中,递归程序的效率低于循环程序。而且有时候,由于设计者所容许采用的语言的限制,根本无法实现递归算法。因此,关于由递归程序变换成循环程序的理论,不但对编译技术,就是对程序方法论,也具有重要意义。  相似文献   
5.
本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算法。  相似文献   
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
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号