节点文献

Gdel语言编译中多态多类类型的实现技术简报

The Implementation of Polymorphic Many-sorted Type System for the Compiler of Programming Language Gdel(Chief Report)

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【摘要】 <正>1 引言 Godel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。更多还原

【Abstract】 Godel is a declarative and useful logic programming language succeeded to prolog. One of the most primary features of Godel is polymorphic many-sorted type system it introduced In this paper, the data structure of type is given, and some important technologies are revealed by analyzing the procedure of static type check, dynamic type matching and deductioa更多还原

【Key words】 Godel language； Polymorphic many-sorted； Type check； Type deduction；

【基金】厦门大学创新基金(项目号:Y07012);福建自然科学基金(项目号:A0310007)资助

【会议录名称】 2006年全国理论计算机科学学术年会论文集

【会议名称】2006年全国理论计算机科学学术年会

【会议时间】2006-08
【会议地点】中国吉林长春
【分类号】TP314

【主办单位】中国计算机学会理论计算机科学专业委员会

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献