函数式编程

作品数：39被引量：34H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张迎周吕青金海廖小飞赖晓铮更多>>
相关机构：南京邮电大学华南理工大学南京大学电子科技大学更多>>
相关期刊：《计算机仿真》《高性能计算技术》《计算机教育》《电脑编程技巧与维护》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金江苏省高校自然科学研究项目江苏省“青蓝工程”优秀青年骨干教师培养对象更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
榫卯:一种可组合的定制化内存分配框架
《软件学报》2024年第4期2076-2098,共23页欧阳湘臻 朱怡安 史先琛 
国家重点研发计划(2021YFC2802503,2020YFB1712201);陕西省重点研发计划(2021ZDLGY05-05)。
动态内存分配器是现代应用程序重要组成部分,它负责管理空闲内存并处理用户内存请求.现代通用动态内存分配器能够提供较为平衡的性能与内存利用率,但考虑到不同应用场景的内存使用情况和优化目标不同,使用通用内存分配器并非最优解.针...
关键词：内存分配 阻塞式同步 异构系统 操作系统 函数式编程 
函数式编程在前端开发中的应用
《中文科技期刊数据库（全文版）工程技术》2023年第11期020-024,共5页唐晗阳 
在日常业务开发中,随着功能与业务的需求不断更迭,前端代码的也越来越复杂,随着时间的推移,代码的复杂度往往会成长到一个我们无法接受的地步。自从约翰·冯·诺伊曼设计出lambda演算的形式系统,函数式编程就因为其无状态性和不变性所...
关键词：函数式编程 JAVASCRIPT 前端开发 惰性计算 
基于Golang的函数式编程在软件设计模式中的应用被引量：3
《电子质量》2023年第9期47-50,共4页王明松 于营 
海南省自然科学基金青年基金项目(621QN270);海南省基础与应用基础研究计划(自然科学领域)高层次人才项目(2019RC256)资助。
函数式编程强调数据的映射关系,函数变化只与输入变量有关,不依赖外部系统的数据。这种表达式描述强调程序执行结果的编程模式,非常适合当代复杂软件结构系统的优化管理。越来越多的编程语言开始支持函数式编程开发。软件设计模式是对...
关键词：函数式编程 Golang语言 设计模式 
基于函数式编程的编译原理理实一体化“金课”建设被引量：3
《计算机教育》2023年第2期44-48,共5页韩敬利 夏青 宋丽华 王兆丽 王梅娟 
陆军工程大学2021年教育教学课题(GJ21ZX022)。
总结基于函数式编程的编译原理课程改革历程,针对当前编译原理实验教学与当前国产化平台联系不紧密等问题,基于函数式编程提出一种使用龙芯Loong Arch指令架构改造实验体系的构想,并基于此讨论建设编译原理理实一体化“金课”的方法。
关键词：函数式编程 理实一体化 全过程考核 金课 龙芯 
试论Power Query M语言在数据处理中的应用
《中国管理信息化》2022年第17期199-204,共6页王译庆 
Power Query M语言是Power Query数据处理引擎中的数据处理语言,同时也是一个函数式语言,主要用于复杂的数据处理、转换、分析等业务。本文先是对Power Query M语言特性进行分析,对其函数式语言的特性进行了深入讨论,然后通过一个实际...
关键词：Power Query Power Query M语言 数据处理 数据分析 函数式编程 
基于Monad的可认证数据结构
《计算机应用与软件》2022年第4期5-13,59,共10页贺新征 光焱 祝跃飞 
国家重点研发计划项目(2016YFB0801601)。
采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新...
关键词：可认证数据结构 范畴理论 类型理论 函数式编程 程序语言设计 
基于Linux的多核并行可伸缩函数式编程研究
《计算机仿真》2022年第4期223-226,432,共5页仇宾 崔素丽 孙曼曼 田亮 
2020年河北省教育厅教改项目(2020GJXGK012);2021年河北师范大学科技类科研基金项目(L2021B39)。
现有编程模型在面向多核并行计算时,通常表现出线程安全和数据同步控制困难,以及通用性差等问题。在函数可以摆脱状态信息的特点基础上,提出基于Linux平台的多核并行可伸缩函数式编程模型。利用函数的复合和嵌套来描述应用程序任务,完...
关键词：多核并行 函数式编程 任务窃取 可伸缩性 
Mathematica在概率统计中的应用
《宿州学院学报》2021年第6期78-80,共3页魏章志 吴婧泽 李杰 
国家自然科学基金项目(11771001);安徽省高校自然科学基金项目(KJ2019A0672);安徽省教育厅教学研究项目(2019jyxm0468,2020jyxm1981);宿州学院博士科研启动基金项目(2020BS011)。
概率统计中的很多经典问题对于概率统计的学习具有很好的引导作用,理解这些经典问题对进一步学习概率统计是非常重要的。给出了Mathematica软件在概率统计课堂教学中的一些应用实例,通过程序实例示范了Mathematica软件函数式编程的特点...
关键词：函数式编程 三门问题 大数定律 中心极限定理 
基于函数式编程的计算机专业基础理论教学改革实践被引量：3
《计算机教育》2021年第1期133-136,141,共5页宋丽华 张兴元 王海涛 
陆军工程大学2020年教育教学课题“复杂软件系统编程实验教学模式和评价机制探索”(GJ20ZX022)。
针对计算机专业基础理论课程教学手段相对陈旧、理论与实践教学存在明显“断点”的现实状况,分析基于函数式编程的基础理论教学优势,提出引入函数式编程作为验证实验环境、围绕函数式程序代码进行理论讲解的改革方案。基于这一思路介绍...
关键词：函数式编程 计算机专业基础理论教学改革 离散数学 编译原理 
关于计算机专业开设逻辑与验证类课程教学的思考被引量：2
《计算机教育》2021年第1期111-115,共5页江南 何炎祥 
2018国家留学基金委地方合作项目“慕尼黑工业大学访问研究”(201808420414);高等学校计算机教育2019年度课题“新工科编程语言类课程体系建设:解决复杂工程问题能力和计算思维的培养”(CERACU2019R04);校教研项目“Java程序设计改革与实践”(2017015)。
首先介绍计算机科学中的逻辑与验证技术,接着概述国内大学哲学、数学和计算机专业开设相关课程的现状,然后分析慕尼黑工业大学计算机学院在逻辑与验证领域的研究,结合证明助手的开发和使用所设置的专业课程,并将其与国内大学计算机专业...
关键词：逻辑 验证 证明助手 函数式编程 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部