论文部分内容阅读
在进行协议验证的研究中，研究人员采用并实现用一种惰性高阶纯函数式语言Ｃｌｅａｎ作为验证的核心计算器。Ｃｌｅａｎ语言的实现是基于图重写系统的。该文介绍了该计算模型的类型系统，讨论了它是如何完成类型检测和类型推理的。并重点介绍了几个该类型系统中的推理规则。
基于图重写系统的函数式语言Clean的类型系统
【摘 要】
：
在进行协议验证的研究中，研究人员采用并实现用一种惰性高阶纯函数式语言Ｃｌｅａｎ作为验证的核心计算器。Ｃｌｅａｎ语言的实现是基于图重写系统的。该文介绍了该计算模型的类型系统，讨论了它是如
【机 构】
：
南京通信工程学院计算机系
【出 处】
：
第六届全国机器学习研讨会
【发表日期】
：
1998年期
其他文献
一、问题的缘起rn在一次数学教研活动中,笔者聆听了苏教版《义务教育教科书·数学》五年级上册《解决问题的策略》一课,当教师出示题目:“王大叔用22根1米长的木条围一个长方
函数连接型神经网络一种无隐含层的新型网络，应用其联合激励增强特性对精轧机组的轧制压力进行预报，离线仿真表明，该方法比误差反向传播网络法预报速度快，且预报结果的相对误差基
人机接口是ＣＳＣＷ系统的重要组成部分，也是它的难点之一．本文针对ＣＳＣＷ系统中用户动作的协同特性，提出了一种协同人机接口结构模型ＫＣＨＣＩ，通过对用户动作的多层抽象和对动作结果的多层例化，实现多用
实施课堂教学的目的在于让学生掌握知识,学会技能,培养能力,这样的教学一定是有效的。教师必须更新教学理念,在打造高效课堂上下功夫,在教学环节上找门径,把课堂教学过程看成
从2015年起,自主命题的省份开始减少.今年,除使用3套全国卷的省市外,自主命题的地区仅有北京、上海、天津、江苏、浙江和山东六地.高考试卷也就只剩9套,刚好是2014年的一半.
讨论一类带滞后的线性时变广义系统解的整体存在唯一性问题。由于这类系统的解在运动过程中会出现新的相容性条件,故解的整体存在唯一性难以满足。寻求一种新的途径,即变结构