Gdel语言编译时类型处理技术研究

作     者：林永鹏 赵致琢 李慧琪 徐丹 LIN Yongpeng;ZHAO Zhizhuo;LI Huiqi;XU Dan

作者机构：厦门大学计算机科学系福建厦门361005 仰恩大学计算机科学系福建泉州362014 

基　　金：福建省自然科学基金No.A030007~~ 

出 版 物：《计算机科学与探索》 (Journal of Frontiers of Computer Science and Technology)

年 卷 期：2010年第4卷第3期

页      码：256-264页

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

主 题 词：Goedel编译器 类型推断 多态处理 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3778/j.issn.1673-9418.2010.03.008

馆 藏 号：203287215...