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

【文件属性】：

文件名称：类型系统的构造、实现及其在程序设计语言中的应用 (2001年)

文件大小：7.4MB

文件格式：PDF

更新时间：2024-06-05 00:14:48

自然科学 论文

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