| Garment中多态类型的Ideal模型 |
| |
| 引用本文： | 郑红军,张乃孝.Garment中多态类型的Ideal模型[J].软件学报,1998,9(3):194-199. |
| |
| 作者姓名： | 郑红军 张乃孝 |
| |
| 作者单位： | 1. 北京大学计算机系,北京,100871
2. 北京大学数学科学学院信息科学系,北京,100871 |
| |
| 基金项目： | 本文研究得到国家自然科学基金资助. |
| |
| 摘 要： | 本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了Garment中类型规则的语义可靠性.
|
| 关 键 词： | Ideal 多态类型 类型系统 语义 Garment. |
| 收稿时间： | 1997/1/29 0:00:00 |
| 修稿时间： | 1997/4/10 0:00:00 |
An Ideal Model for Polymorphic Types in Garment |
| |
| ZHENG Hong-jun and ZHANG Nai-xiao.An Ideal Model for Polymorphic Types in Garment[J].Journal of Software,1998,9(3):194-199. |
| |
| Authors: | ZHENG Hong-jun and ZHANG Nai-xiao |
| |
| Affiliation: | ZHENG Hong jun 1\ ZHANG Nai xiao 2 1(Department of Computer Science\ Beijing University\ Beijing\ 100871) 2(Department of Informatics\ School of Mathematical Sciences\ Beijing University\ Beijing\ 100871) |
| |
| Abstract: | Starting with the concept of Ideal, the paper presents their properties when Ideals are taken as the semantic model for types. Under the ideal model of types, the paper discusses the semantics for polymorphic types in a mechanism for abstraction and encapsulation of languages named Garment, including parametric polymorphic types and constrained polymorphic types. Finally, the semantic soundness of typing rules in Garment is proved within the Ideal model. |
| |
| Keywords: | Ideal polymorphic type type system semantics Garment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
