期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
G觟del语言的说明性语义简述
下载PDF
职称材料
导出
摘要
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。
作者
高伟
机构地区
厦门大学计算机科学系
出处
《福建电脑》
2009年第2期40-41,共2页
Journal of Fujian Computer
关键词
Gdel语言
类型
说明性语义
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP312FL [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
5
参考文献
1
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
徐殿祥,郑国梁.
面向对象逻辑语言LKO的类型系统[J]
.计算机研究与发展,1998,35(3):246-250.
被引量:1
二级参考文献
5
1
徐殿祥,郑国梁.
对象式逻辑程序设计[J]
.计算机研究与发展,1996,33(1):17-23.
被引量:6
2
徐殿祥,J Comput Sci Technol,1996年,11卷,1期,61页
3
徐殿祥,ACM SIGPLAN Not,1995年,30卷,1期,5页
4
徐殿祥,J Comput Sci Technol,1995年,10卷,5期,425页
5
徐殿祥,Proc of the Fifth Int’l Conf on Logic Programming,1988年,604页
1
昌杰,郑尚志.
Prolog与Gdel语言元程序设计的对比研究[J]
.巢湖学院学报,2008,10(6):30-32.
2
徐殿祥,郑国梁.
对象式逻辑程序设计语言LKO的说明性语义[J]
.计算机学报,1996,19(11):841-847.
被引量:2
3
周训伟.
PROLOG的说明性语义和过程性语义之间的循环论证[J]
.北京工业大学学报,1990,16(4):87-90.
4
陈世鸿,彭蓉,吴志远.
FLL语言的说明性语义与过程性语义[J]
.武汉大学学报(自然科学版),1999,45(3):287-290.
被引量:3
5
李薇.
基于类型的密码协议验证方法[J]
.计算机应用与软件,2009,26(10):265-268.
6
刘志远,崔国华.
类型可修改的基于身份代理重加密方案[J]
.电子科技大学学报,2014,43(3):409-412.
被引量:2
7
王子才.
关于仿真理论的探讨[J]
.系统仿真学报,2000,12(6):604-608.
被引量:60
8
王良霖,赵致琢,李玲.
Gdel程序推理过程的可视化[J]
.集美大学学报(自然科学版),2008,13(2):122-126.
9
昌杰,赵致琢,李慧琪,高伟.
逻辑程序设计语言Gdel与Prolog的比较[J]
.智能系统学报,2009,4(2):163-168.
10
沈恩绍.
模型论逻辑与理论计算机科学[J]
.数学进展,1996,25(3):193-202.
被引量:10
福建电脑
2009年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部