2024年8月18日
星期日
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
苏剑煌
作品数:
6
被引量:4
H指数:1
供职机构:
厦门大学
更多>>
发文基金:
福建省自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
李松斌
厦门大学信息科学与技术学院计算...
赵致琢
厦门大学信息科学与技术学院计算...
李慧琪
厦门大学信息科学与技术学院计算...
侯米娜
厦门大学信息科学与技术学院计算...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
4篇
会议论文
2篇
学位论文
领域
6篇
自动化与计算...
主题
4篇
程序设计
3篇
设计语言
3篇
逻辑程序
3篇
逻辑程序设计
3篇
逻辑程序设计...
3篇
程序设计语言
3篇
DEL
2篇
等词
2篇
多态
2篇
语言编译
2篇
DEL语言
2篇
GODEL
2篇
程序语言
2篇
O
1篇
TYPE
1篇
ALGORI...
1篇
DERIVA...
1篇
GODEL语...
1篇
DEDUCT...
1篇
EQUALI...
机构
6篇
厦门大学
作者
6篇
苏剑煌
4篇
侯米娜
4篇
李慧琪
4篇
赵致琢
4篇
李松斌
传媒
2篇
2006年全...
年份
2篇
2007
4篇
2006
共
6
条 记 录,以下是 1-6
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
逻辑程序设计语言Gdel中等词的研究及实现简报
<正>1 引言 Godel语言是继逻辑程序设计语言Prolog之后出现的一种通用、高效、表达性强的说明性逻辑程序设计语言。众所周知,逻辑程序语言在一定程度上更直观地反映了人类的思维结构和概念描述方
侯米娜
赵致琢
李慧琪
苏剑煌
李松斌
关键词:
EQUALITY
文献传递
G(o)del语言编译中多态多类类型的实现技术简报
本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现,介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。
苏剑煌
赵致琢
李慧琪
李松斌
侯米娜
关键词:
程序设计
程序语言
语言编译
文献传递
Gdel语言编译中多态多类类型的实现技术简报
<正>1 引言 Godel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。
苏剑煌
赵致琢
李慧琪
李松斌
侯米娜
文献传递
逻辑程序设计语言G(o)del中等词的研究及实现简报
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进行了论述。
侯米娜
赵致琢
李慧琪
苏剑煌
李松斌
关键词:
逻辑程序
程序设计
程序语言
文献传递
Gödel语言编译系统的设计与实现
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,增加了新的语言成分...
苏剑煌
关键词:
GODEL语言
逻辑程序设计语言
G(?)del语言编译系统的设计与实现
G/(o|¨/)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,增加了新的...
苏剑煌
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张