函数式语言

作品数：79被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙永强袁华强金成植袁伟廖湖声更多>>
相关机构：上海交通大学吉林大学北京工业大学湘潭大学更多>>
相关期刊：《上海交通大学学报》《信息工程大学学报》《计算机工程与应用》《物探化探计算技术》更多>>
相关基金：国家自然科学基金国家教育部博士点基金北京市自然科学基金江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
使用函数式语言与命令式语言混合开发EDA程序的一次探索
《微电子学与计算机》2023年第5期56-64,共9页张子航 罗雯 陈钢 
相较于命令式语言,函数式语言有两个明显的优点:安全性好、开发周期短.但一般而言,函数式语言的代码性能不够好,妨碍了它的推广和实践应用,尤其是在性能要求很高的领域.基于上述问题进行了一次函数式语言和命令式语言混合编程的探索,试...
关键词：混合编程 电子设计自动化 OCaml 函数式语音 敏捷软件开发 四叉树 
面向形式化验证的联锁翻译器软件设计被引量：4
《铁路通信信号工程技术》2022年第2期18-23,42,共7页王绍新 王燕芩 闫连山 
中国国家铁路局集团有限公司科技研究开发计划重点课题(N2021S003);四川省重大科技专项(2019ZDZX0007)。
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。
关键词：联锁系统 形式化验证 翻译器软件 OCaml 函数式语言 
基于函数式语言和单体的编译教学实验平台研究与实践被引量：3
《计算机教育》2020年第8期167-170,共4页宋丽华 张兴元 王海涛 
为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及...
关键词：编译原理 编译实验平台 函数式语言 ML语言 单体 
函数式程序设计语言的领军人物——北京大学讲座教授胡振江
《科技成果管理与研究》2020年第5期65-67,共3页王玮 
函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言...
关键词：函数式程序设计 函数式语言 程序设计语言 软件开发 大数据处理 程序语言 摩尔定律 函数语言 
采用函数式语言的BPEL模型形式化验证方法被引量：5
《计算机科学与探索》2018年第2期185-196,共12页祝义 黄志球 周航 
国家自然科学基金No.61502212;江苏省博士后基金No.1501055B~~
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出...
关键词：函数式语言 通信顺序进程(CSP) 业务流程执行语言(BPEL) 形式化验证 模型检测 
高阶代码消除性能比较框架的设计与实现被引量：1
《计算机应用》2016年第9期2481-2485,共5页赵迪 华保健 朱洪军 
国家自然科学基金青年科学基金资助项目(61202052);苏州市科技计划应用基础研究项目(SYG201406)~~
函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法。为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架。该框架采用了菱形的架构,平...
关键词：编译框架 函数式语言 高阶代码 闭包变换 函数消除 
函数式语言范畴描述研究
《江西科学》2015年第5期752-754,共3页袁晓月 刘素芬 
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的...
关键词：函数式语言 范畴论 等价性 
基于Coq的命令式语言编译器机械验证的研究与实现
《小型微型计算机系统》2015年第9期1927-1931,共5页盛枫 窦亮 杨宗源 
国家自然科学基金项目(61070226)资助
软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现一个小型命令式语言IMP的编译器,该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码...
关键词：定理证明器Coq 机械验证 堆栈 函数式语言 
基于数据求精的矩阵迷惑
《计算机应用》2014年第9期2630-2634,共5页孙喁喁 黄光球 
陕西省教育厅自然科学专项(2013JK1191)
目前数据迷惑通常是针对单一具体的数据结构,为了将相同的迷惑方法应用于不同的数据结构,提出了将迷惑看作数据求精,认为迷惑是一个抽象数据类型,建立了证明迷惑正确性的通用方程。通过分割矩阵,改变元素的模式,从而隐藏矩阵的含义。基...
关键词：迷惑 数据求精 抽象数据类型 分割矩阵 函数式语言 
函数式语言泛型特性的研究与实现
《计算机工程与应用》2012年第28期71-76,共6页李阳 于尚超 王朋 
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行...
关键词：泛型编程 类型抽象 函数式程序设计 语法扩展 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部