G(o)del语言的说明性语义简述

• 作者: 高伟
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: G(o)del语言 类型 说明性语义
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 研究与探讨
• 页码范围: 40-41
• 页数: 2页
• 分类号: TP3
• 字数: 2931字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2009.02.026

摘要

G(o)del语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言.本文基于类型一阶谓词逻辑的模型论,阐明了G(o)del语言的说明性语义,为该语言的实现模型奠定了一定的理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高伟	厦门大学计算杌科学系	3	0	0.0	0.0