Garment中多态类型的Ideal模型  

An Ideal Model for Polymorphic Types in Garment

作　　者：郑红军[1,2] 张乃孝[1,2] 

机构地区：[1]北京大学计算机系 [2]北京大学数学科学学院信息科学系

出　　处：《软件学报》1998年第3期194-199,共6页Journal of Software

基　　金：国家自然科学基金

摘　　要：本文从Ｉｄｅａｌ的基本概念出发，研究了Ｉｄｅａｌ作为类型的语义模型所具有的性质．在类型的Ｉｄｅａｌ模型下，讨论了Ｇａｒｍｅｎｔ中参数化多态类型和约束多态类型的语义．并在此基础上，证明了Ｇａｒｍｅｎｔ中类型规则的语义可靠性．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.

关 键 词：多态类型 GARMENT IDEAL模型 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]