CAJ | 학술논문

C(o)del是一种发展中的逻辑程序设计语言,目前还没有开发出编译器.G(o)Mel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础.按照传统的方法,逻辑程序的运行机制和G(o)del语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算.提出了一种处理G(o)del语言类型系统的编译技术.针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率.
C(o)del시일충발전중적라집정서설계어언,목전환몰유개발출편역기.G(o)Mel어언적류형계통독특우통상적라집정서설계어언,어의상이초보형성료상응적묘술방법,건립료엄격적이론기출.안조전통적방법,라집정서적운행궤제화G(o)del어언적다태성결정료일사변량적류형화어의지능재운행시재능학정,파저류변량적류형검사방도정서운행중처리,세필증가허다액외적계산.제출료일충처리G(o)del어언류형계통적편역기술.침대어언적류형,대기상관어법진행괄당수개,통과류형추단,파변량류형적검사공작제전도편역계단완성,가이교호지처리기변량류형적어의문제,동시감소료운행시류형검사공작,종이제고정서적운행효솔.
G(o)del is a developing logic programming language whose compiler has not been developed yet.The type system is one of the language's features.The language is polymorphic.It means that some variables'type can't be determined untill runtime.If a program does the type-checking for this variables while running,a lot of time would be taken.A method to dispose the variables'type in compiler is proposed.The method brings the work of that variables'type-checking into compile-time by using some type-inference rules,improving the running efficiency.