论文部分内容阅读
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。
复合抽象数据类型结构化规约的形式语义及其模型
【摘 要】
：
本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ＥＣＣ扩展构造逻辑和函数式语言两种方式下的模型。
【机 构】
：
浙江工业大学信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
1998年3期
【基金项目】
：
国家高技术研究发展计划863-306智能计算机主题,浙江省自然科学基金
其他文献
A:各位专家,化盐水经汽水混合加热器加热后进化盐池,噪声和振动大吗,容易结垢吗?B:振动不大,应该注意汽水混合器选材。A:容易结晶堵塞吗?B:化盐水的浓度低,且温度高,不容易结
从传统广电媒体向智慧型广电媒体转型的过程中,中央广播电视总台制定和实施了融媒体技术发展战略。本文着重分析了总台运用5G、4K/8K、AI等融媒体技术在2020春晚等大型活动中
<正> 1.引言为了适应网络在地理上、拓扑结构上、功能上的分布,新型的网络管理模型也应该具有一种分布式结构。通过使网管结构层次化,可以克服集中式管理所带来的带宽和计算
大学英语的思政改革是我国新时期高等教育教学的发展新动向,它严格恪守了二语教学的认知规律,既迎合了当代大学生的情感诉求,同时也有利于培养学生的爱国主义情怀,立足本土,
<正> 一、引言全球笔记本电脑市场销量的火爆增长与无线通信领域的稳定增长,强烈地刺激了移动接入Internet的需求。在现行协议中,通常用来标识Internet主机的IP地址在语义上
幼儿数学教学旨在初步培育幼儿的数学思维,促进幼儿认知能力的发展,从而为幼儿今后的数学学习奠定良好的基础。然而由于数学学科知识本身抽象晦涩,进而导致多数孩子无法高效
本文结合目前数据库、信息系统、专家系统分布化、网络化的趋势,讨论了在构造企业智能支持系统时的合作解题问题,研究了合作求解问题的典型类型,并对基于证据推理的相关支持
提出了750 m^(3)/d高盐、高COD废水提标处理工程工艺技术方案,总结了山西榆社化工股份有限公司通过对废水进行分类提标处理,降低高盐、高COD废水指标的经验。
<正> 1 引言移动通信在过去二十年中获得了飞速发展,已成为现代通信中一个极为重要的领域。国际互连网的发展以及随之而来的网络信息时代要求移动通信系统能够提供多媒体业务