论文部分内容阅读
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个函数型语言ＭＬ来实现的方法。
复合抽象数据类型的构造型说明
【摘 要】
：
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个
【机 构】
：
浙江工业大学计算机工程系
【出 处】
：
浙江工业大学学报
【发表日期】
：
1996年2期
【基金项目】
：
浙江省自然科学基金,浙江省教委资助
其他文献
目的:用不同的化学发光仪器检测分析甲状腺血清促TSH(甲状腺激素)结果。方法:采用ACS全自动化学发光法测定TSH。结果:甲状腺功能减退与甲状腺功能亢进患者通过医疗之后第40～60
突如其来的新冠肺炎给人们的生活带来了巨大变化,全国上下都在采取各种措施积极应对。本文试通过巴纳姆效应分析新冠肺炎居家期间人们的心理,并寻求多种途径避免由此带来的不
本文介绍微机建筑结构计算机辅助设计系统ＰＫ－ＰＭ系列的智能化培训系统，ＩＴＳ ｆｐｒＰＫ＆ＰＭＣＡＤ，它可以作为该系列软件的上岗前培训系统，也可以作为高校结构工程学科建筑结构ＣＡＤ系列软件课程ＰＫ、ＰＭＣＡＤ的智能化辅助教学
<正>侵袭性真菌病(invasive fungal disease,IFD)系指真菌侵入人体,在组织、器官或血液中生长、繁殖,并导致炎症反应及组织损伤的感染性疾病。IFD是血液系统恶性肿瘤患者重要
以玉米品种隆平206和郑单958为材料,设置3个种植密度D1(57 000株/hm^2)、D2(67 500株/hm^2)、D3(78 000株/hm^2),分析成熟期玉米淀粉粒分布特征和籽粒灌浆阶段ADPG焦磷酸化酶
物理是一门基于实验研究和生活探索的一门实践型学科，学习物理是对学生逻辑能力的培养，也是对学生综合思维能力的一种提升方式。步入高中阶段的物理知识，其知识点难点有了显著的
随着现代教育技术的发展，现代化教学手段的提高，我们发现化学教学中学生自我设计实验，能够激发学生学习兴趣，培养学生的创新能力。且在多年的教学中，我发现很多化学实验其实都可以
本文利用三维光弹冻结切片法,对K_I沿容器斜接管(?)分别为15°、30°模型内拐角裂纹前缘的分布进行测定,同时利用实验所得的结果和(?)等于45°模型角裂纹自然扩