论文部分内容阅读
本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类现规类型和类类型的概念。类是类规约类型的元素，它又是一类型，类的元素为对象。通过证明类可构造类，由此构造面向对象软件。
基于类型理论的面向对象程序设计
【摘 要】
：
本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类现规类型和类类型的概念。类是类规约类型的元素，它又是一类型，类的元素为对象。通过证明类可构造类，由此构造面向对象软件。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1997年1期
【基金项目】
：
国家863高技术基金,国家自然科学基金
其他文献
越来越多的高级综合系统采用或接受ＶＨＤＬ语言作为设计输入，但ＶＨＤＬ语言的语义本质是基于模拟而非基于高级综合的，许多语法现象不能或不适于进行综合。本文系统地分析了ＶＨＤＬ语言的可综合性问题
本文首次提出了曲线近似隐式化的概念，给出了求曲线的近似隐式化表示的有效算法，并以实例说明了算法有效性以及研究这一问题的重要意义。
Softwarereuseisalwaysanimportantissueto researchforimprovingtheproductivityofsoftware developmentinsoftwareengineeringfield.Free man[1]dividedthesoftwaredevelop
期刊
机器学习和模式识别面临的一个重要问题，就是特征子集的选择问题，即从一个大的已生征特集合，选择一个子集合来一致地描述已知例。特别，最优特征子集选择问题，即最小的特征子集问题
应用虚拟裂缝模型分析了混凝土保护层锈胀开裂的锈胀力。首先,考虑了混凝土和钢筋的实际变形情况利用断裂力学和弹性力学得到了混凝土保护层开裂时钢筋的最大膨胀力理论预测
Geldanamycin inhibits proliferation and motility of Her2/neu-overexpressing SKBr3 breast cancer cell
Objective Benzoquinone ansamycin antibiotic, geldanamycin (GA), is a new anticancer agent that could inhibit Hsp90 by occupying its NH2-terminal ATP-binding sit
期刊
For the development of 19-plex Y STR system and polymorphism studies in local ethnic populations sixteen markers of non-recombining regions (NRY) of Y chromosom
期刊
Objective To explore the effects of hypoxia(1% O2)on the ability of cell invasiveness and expression of KAI1/CD82 in SMMC7721 hepatocellular carcinoma cells.Met
期刊
本文提出了解K阶线性递归N方程组的一种实用并行算法．当K＜＜N时，其并行效率Ep=1／（K＋1．5）×（1＋（K＋0.5）／p），其中P是所用处理机台数．在计算过程中，每台处理机仅需通信两次，每次发送或接收K个数据．
星形图具有许多良好的拓扑性质，是一种有可能替代传统的超立方体的并行计算互联网络的模型。在本文中，作者针对在星形图这样一种高度规则的网络中，可能产生死锁的问题，对星形图上