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

摘要：

本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现，介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。

关键词： 程序设计 程序语言 语言编译

作者: 苏剑煌 赵致琢 李慧琪 李松斌 侯米娜

作者单位: 厦门大学计算机科学系,厦门,361005

会议类型: 国内会议

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

会议地点: 长春

会议语种:中文

页码: 78-79

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）