文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"作者=玄顺姬"

共 3 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

面向对象类型理论的比较研究: 收藏
分享
引用; 《计算机研究与发展》1997年第10期34卷 736-741页; 作者：全炳哲金淳兆玄顺姬吉林大学计算机科学系吉林工业大学计算机系; 人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关...; 人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础．; 来源：详细信息评论

一种面向对象程序自动化方法的研究: 收藏
分享
引用; 《软件学报》1997年第5期8卷 384-390页; 作者：全炳哲金淳兆玄顺姬吉林大学计算机系吉林工业大学计算机系; 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。; 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。; 来源：详细信息评论

基于类型理论的继承机制的研究: 收藏
分享
引用; 《计算机学报》1998年第S1期21卷 163-170页; 作者：全炳哲金淳兆玄顺姬吉林大学计算机科学系长春130023 吉林工业大学计算机系长春130025; 本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．; 本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部