ML语言相关论文
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以......
离散数学作为一门理论抽象、内容广泛、结构严谨的计算机专业核心基础课程，它几乎是所有后续专业课程的重要基础，而学生在学习离散数......
<正>形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统......
据报道，NHK广播电视技术研究所日前公布了个人电脑软件“TV4U（TV for You）”的最新版本，利用该软件，只需像使用打字机打文章一样写出字......
ML 语言的同式多型类型检验(含推导)是颇成功的,具有典型意义;它属于参变的、基本上是寅式的同式多型。本文中 ML 核心语言的同式......
2010年3月20日,图灵奖得主罗宾·米尔纳（Robin Milner）辞世,享年76岁。米尔纳是第四位获此殊荣的英国科学家,由于在LCF可计算函......
本文阐明ML核心语言中的类型(缩写)、数据类型及抽象类型三者的同式多型(polymorphism)所赖以作依据的理论和实现问题。......
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以......
用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文......
针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体......
