论文部分内容阅读
用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆｕｎｃｔｏｒ）来完成从输入代数到输出代数的扩充。
ML语言环境下抽象数据类型的构造型说明
【摘 要】
：
用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代
【出 处】
：
浙江工学院学报
【发表日期】
：
1994年03期
其他文献
传统和新型化疗药物均可引起心血管损伤。不同化疗药物引起心血管损伤的机制、表现形式、预后均不相同。新型检测手段可早期发现心血管损伤。早预防、早发现、早治疗可减轻或
“探索建设自由贸易港”是中国新时期建设改革开放新高地、进一步形成全面开放新格局的重要举措。其中,作为自由贸易港全面建设的重要候选者之一——上海自贸港,承担了满足国
中国加入世贸组织，有利也有弊，长远看利大于弊。入世后受冲击最大的当属中国农业，本文论述了中国农业发展的现状，世贸组织对农业方面的有关政策和规定，入世后中国农业发展应采取哪