| 类型系统的构造、实现及其在程序设计语言中的应用 |
| |
| 引用本文： | 蒋慧,张兴元,等.类型系统的构造、实现及其在程序设计语言中的应用[J].南京大学学报(自然科学版),2001,37(2):199-207. |
| |
| 作者姓名： | 蒋慧 张兴元 |
| |
| 作者单位： | [1]解放军理工大学指挥自动化学院计算机系，南京，210016 [2]解放军理工大学指挥自动化学院 |
| |
| 基金项目： | 国家自然科学基金! ( 6993 1 0 4 0 ) |
| |
| 摘 要： | 类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。
|
| 关 键 词： | 类型系统 类型推理 类型检测 语义模型 程序设计语言 构造 形式化工具 形式化方法 |
The Construction, Implementation and Application of Type System in Programming Languages |
| |
| Jiang Hui,Zhang Xingyuan,Wang Yuanyuan,Xie Xiren.The Construction, Implementation and Application of Type System in Programming Languages[J].Journal of Nanjing University: Nat Sci Ed,2001,37(2):199-207. |
| |
| Authors: | Jiang Hui Zhang Xingyuan Wang Yuanyuan Xie Xiren |
| |
| Abstract: | |
| |
| Keywords: | type system type inference type checking semantic model |
| 本文献已被 CNKI 维普 等数据库收录！ |
