论文部分内容阅读
本文讨论如何用归并类型来代替高级程序设计语言中指针和记录（如ＰＡＳＣＡＬ），归并类型的设计除了具有统一之外，还具有更高可靠性，本文已将归并类型插入到Ｍｐｄｕｌａ－２程序语言中。
高级程序设计语言中归并数据类型的研究
【摘 要】
：
本文讨论如何用归并类型来代替高级程序设计语言中指针和记录（如ＰＡＳＣＡＬ），归并类型的设计除了具有统一之外，还具有更高可靠性，本文已将归并类型插入到Ｍｐｄｕｌａ－２程序语言中。
【机 构】
：
南京邮电学院计算机科学与技术系
【出 处】
：
计算机科学
【发表日期】
：
1998年6期
其他文献
<正>计算机仿真技术是以相似原理、系统技术、信息技术及应用领域的相关专业技术为基础,以计算机和各种物理效应设备为工具,利用系统模型对实际的或设计中的系统进行动态实验
随着信息技术的发展,微课被越来越广泛地运用于教学活动中。在指导学生进行写作期间,教师可以充分发挥微课的优势作用,并积极组织开展微课教学活动,促使学生能够通过微课,感
<正>一、引言如同人的指纹一样,人脸也具有唯一性,也可用来鉴别一个人的身份。现在已有实用的计算机自动指纹识别系统面世.并在安检等部门得到应用,但还没有通用成熟的人脸自
乡村振兴战略的具体目标之一就是要实现乡村治理现代化,乡村治理体系是国家治理体系中的关键一环,处于基础位置。本文论述了乡村治理的重要性,分析了当前乡村治理遇到的实际
依托海满一级公路双孔13 m跨径钢波纹板拱桥(动物通道),通过测试施工过程中钢波纹板拱桥内壁波峰、波谷和波侧处的切向和轴向应变,得出了不同填土高度下的应变变化规律。通过
<正>在实践中,信息系统往往需要处理时态数据。时态数据的出现使得有必要研制在其结构中集成了时j旬模型的数据库系统。在信息系统中可以发现多种时态数据,例如超市的交易记
<正>对象框架技术已成为当今分布异构环境下建立应用系统集成和软构件的核心技术,为支持分布式客户/服务器应用的开发和集成,我们开展了分布式集成框架CSE/MA的研究和开发,目
<正>形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明
<正> 1.国内MIS的误区相信每一个从事MIS建设的工作者回首十几年来中国的MIS之路时,都会发出“路漫漫其悠远兮,吾将上下而求索”的感叹。是的,中国MIS之路走得太反复,太辛酸,