您的位置： 专家智库 > >

苏剑煌

作品数：6 被引量：4H指数：1
供职机构：厦门大学更多>>
发文基金：福建省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇会议论文
  • 2篇学位论文

领域

  • 6篇自动化与计算...

主题

  • 4篇程序设计
  • 3篇设计语言
  • 3篇逻辑程序
  • 3篇逻辑程序设计
  • 3篇逻辑程序设计...
  • 3篇程序设计语言
  • 2篇等词
  • 2篇多态
  • 2篇语言编译
  • 2篇DEL语言
  • 2篇GODEL
  • 2篇程序语言
  • 2篇O
  • 2篇DEL
  • 1篇TYPE
  • 1篇ALGORI...
  • 1篇DERIVA...
  • 1篇GODEL语...
  • 1篇MANY
  • 1篇DEDUCT...

机构

  • 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