类型系统的构造、实现及其在程序设计语言中的应用

作     者：蒋慧 张兴元 王元元 谢希仁 

作者机构：解放军理工大学指挥自动化学院计算机系南京210016 

基　　金：国家自然科学基金! ( 6993 1 0 4 0 ) 

出 版 物：《南京大学学报（自然科学版）》 (Journal of Nanjing University（Natural Science）)

年 卷 期：2001年第37卷第2期

页      码：199-207页

摘      要：类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统 。

主 题 词：类型系统 类型推理 类型检测 语义模型 程序设计语言 构造 形式化工具 形式化方法 

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

核心收录：

D　O　I：10.3321/j.issn:0469-5097.2001.02.011

馆 藏 号：203643245...