面向对象、泛型程序设计与类型约束检查; Object Orientation,Generic Programming and Type Constraint Checking | |
孙斌 | |
刊名 | 计算机学报
![]() |
2004 | |
关键词 | 面向对象 泛型程序设计 需求检查 类型约束 |
DOI | 10.3321/j.issn:0254-4164.2004.11.008 |
英文摘要 | 该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点所在,介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作,以C+ +语言的一个泛型编程扩充语言C* *为实施例,详细说明了如何通过一种叫做"命名类型约束"的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例.; 国家自然科学基金; 中文核心期刊要目总览(PKU); 中国科学引文数据库(CSCD); 0; 11; 1492-1504; 27 |
语种 | 中文 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/279977] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | 孙斌. 面向对象、泛型程序设计与类型约束检查, Object Orientation,Generic Programming and Type Constraint Checking[J]. 计算机学报,2004. |
APA | 孙斌.(2004).面向对象、泛型程序设计与类型约束检查.计算机学报. |
MLA | 孙斌."面向对象、泛型程序设计与类型约束检查".计算机学报 (2004). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论