对象在类型系统λω×≤中的表示.PDF

See discussions, stats, and author profiles for this publication at: /publication/293311126 Object encoding in type system λω Article · April 2 3 CITATION READS 1 8 3 authors, including: Xiaocong Zhou Sun Yat-Sen University 22 PUBLICATIONS 48 CITATIONS SEE PROFILE Some of the authors of this publication are also working on these related projects: Software Debuging, Testing and Analysis View project All content following this page was uploaded by Xiaocong Zhou on 3 May 2 16. The user has requested enhancement of the downloaded file. 第 40 卷 第 4 期 计 算 机 研 究 与 发 展 Vol 40 ,No 4 2003 年 4 月 J OURNAL OF COMPU TER RESEARCH AND DEV ELOPMEN T Apr 2003 对象在类型系统 λω× 中的表示 ≤ 周晓聪 　李文军 　李师贤 ( 中山大学计算机科学系 　广州 　510275) (isszxc @zsueducn) 摘 　要 　类型系统是研究面向对象技术形式理论基础的重要工具 类型系统 λω× 是一个带高阶子类型关系的多态类 ≤ 型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统 λω× 为工具 ,研究对象、类、继 ≤ 承等面向对象技术的基本概念的形式语义 结合类 POIN T 和 CPOIN T 等例子 ,讨论了基于递归类型和基于存在类型的 两种对象表示方法 ,并对它们的特点进行了总结与比较 关键词 　对象表示 ;递归类型 ;存在类型 中图法分类号 　TP311 Object Encodin g in Type System λω× ≤ ZHOU XiaoCong , L I WenJ un , and L I ShiXian ( ) Depart ment of Computer Science , S un YatSen U niversity , Guangz hou 510275 Abstract 　Type system is an important tool for studying the formal foundations of object oriented tech nique Type system λω× is a polymorphism t ype system with higherorder subtyping , and its properties ≤ and categorical semantic mode