G(o)del语言延迟声明语句的语义及其实现方法

• 作者: 曹炳义 赵致琢
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: G(o)del语言 延迟计算 进化代数 过程性语义 扩展Warren机
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 114-116
• 分类号: TP312
• 字数: 3320字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.05.026

摘要

G(o)del语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢.对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述.最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况.实验结果表明了其可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹炳义	厦门大学计算机科学系	1	0	0.0	0.0
2	赵致琢	厦门大学计算机科学系	38	153	6.0	11.0