类型系统λω×≤的PER模型 |
| |
作者姓名: | 周晓聪 李文军 李师贤 |
| |
作者单位: | 1. 中山大学计算机科学系,广州,510275 2. 南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
基金项目: | 高等学校博士学科点专项科研基金,南京大学计算机软件新技术国家重点实验室基金 |
| |
摘 要: | 类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 ,并说明该模型的合理性
|
关 键 词: | 类型系统 子类型关系 PER模型 面向对象 |
本文献已被 CNKI 万方数据 等数据库收录! |
|