G(o)del语言编译时类型处理技术研究

• 作者: 徐丹 李慧琪 林永鹏 赵致琢
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: G(o)del编译器 类型推断 多态处理
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 学术研究
• 页码范围: 256-264
• 页数: 9页
• 分类号: TP312
• 字数: 7906字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2010.03.008

摘要

C(o)del是一种发展中的逻辑程序设计语言,目前还没有开发出编译器.G(o)Mel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础.按照传统的方法,逻辑程序的运行机制和G(o)del语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算.提出了一种处理G(o)del语言类型系统的编译技术.针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学计算机科学系	38	153	6.0	11.0
3	徐丹	厦门大学计算机科学系	11	34	4.0	5.0
6	李慧琪	厦门大学计算机科学系	8	12	2.0	3.0
7	林永鹏	厦门大学计算机科学系	2	2	1.0	1.0