共查询到19条相似文献,搜索用时 111 毫秒
1.
Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 相似文献
2.
Godel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Godel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。 相似文献
3.
G(o)del语言类型系统 总被引:2,自引:0,他引:2
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论. 相似文献
4.
以Goedel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。 相似文献
5.
李修清 《计算机工程与应用》2011,(5):43-45,100
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。 相似文献
6.
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论. 相似文献
7.
LI Shun-qin WANG Guo-jun.College of Mathematics Computer Science Yan’an University Yan’an Shaanxi China .Institute of Mathematics Shaanxi Normal University Xi’an China 《计算机工程与应用》2008,(36)
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划. 相似文献
8.
Godel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Godel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。 相似文献
9.
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。 相似文献
10.
11.
魏海新 《计算机工程与应用》2010,46(29):56-57
将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。 相似文献
12.
源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程序分析和激进的优化的编译器中,却很少有编译器提供健壮的源源翻译支持.优化对程序结构的改变是造成翻译困难的首要原因.结合大量出错实例对优化给源源翻译带来的困难进行分析,提出了一套基于类型恢复的翻译技术,并在Open64编译器中实现了这种方法.通过supertest和spec2000测试集的测试,验证了这种方法对源源翻译的健壮性有很大改善.该方法的实现模块集成在源源翻译器内,与编译器各种分析优化模块独立,所以该方法容易移植到其他编译器中. 相似文献
13.
李修清 《计算机工程与应用》2011,47(5):43-45
将Gödel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的三类子代数中给出F(S)关于¬同余的一个分划。 相似文献
14.
15.
利用赋值集的随机化方法,在n值GÖdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点. 相似文献
16.
软件教育新形势下的编译原理课程体系改革 总被引:1,自引:0,他引:1
现在编译课程的教学对象已经从面向编译器设计者转变为面向软件技术人员,对编译技术相关课程的目标和教学内容提出了新的要求。为此,文章提出一种面向高水平软件人才培养的新的编译技术教学体系,内容涵盖软件系统核心机制、软件基础理论、语言及其分析技能等多个层面和阶段的培养内容。 相似文献
17.
基于类型注解的认证编译器设计与实现 总被引:2,自引:0,他引:2
基于类型注解的认证编译器是安全策略系统的核心部件,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86/linux汇编语言程序,而且还可以根据类型安全策略的要求产生带注解的汇编程序.实验结果表明,新设计的认证编译器可实现:①类型安全的C语言子集的编译;②许多标准的局部优化;③可以对数组运行时越界操作进行检查.由于安全策略系统的证明是建立在含注解的代码基础之上的,因此,该认证编译器在移动代码安全检查中非常有用。 相似文献
18.
利用赋值集的随机化方法,在修正的n值G(o)del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间. 相似文献