函数式程序设计

作品数：16被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王飞谢健杨志斌袁华强孙永强更多>>
相关机构：上海交通大学南京航空航天大学解放军理工大学湘潭大学更多>>
相关期刊：《计算机技术与发展》《计算机教育》《上海交通大学学报》《计算机工程与应用》更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
以己所学 服务国家——记北京大学计算机学院院长胡振江
《科学中国人》2024年第5期32-35,共4页李莉 
如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融...
关键词：程序设计语言 函数式程序设计 并行程序设计 软件开发 设计和实现 程序语言 软件定义 泛在计算 
突出编程能力培养的编译原理课程教学改革被引量：2
《计算机教育》2022年第9期105-108,共4页史涯晴 
陆军工程大学教育教学课题“理论课课程思政教学方法研究”(GJ21JWZD109)。
针对编译原理课程教学存在的理论晦涩、实验片面和考核简单等问题,分析问题解决的关键在于突出编程能力培养,提出基于函数式程序设计语言的编译原理课程教学改革方案,并给出相应的教学实例,最后说明教学改革效果。
关键词：编译原理 编程能力培养 教学改革 函数式程序设计 
函数式程序设计语言的领军人物——北京大学讲座教授胡振江
《科技成果管理与研究》2020年第5期65-67,共3页王玮 
函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言...
关键词：函数式程序设计 函数式语言 程序设计语言 软件开发 大数据处理 程序语言 摩尔定律 函数语言 
SIMPLE:一种新型多范型程序设计语言
《计算机科学》2014年第7期1-8,44,共9页吴迪 陈林 徐宝文 
国家重点基础研究发展计划项目(2014CB340702);国家自然科学基金项目(61170071);江苏省自然科学基金(BK2011190)资助
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程...
关键词：程序设计语言 语言设计 多范型程序设计 面向过程程序设计 面向对象程序设计 函数式程序设计 
O'Caml泛型编程中“泛型抽象”的研究
《计算机技术与发展》2013年第7期92-95,100,共5页王朋 徐健 于尚超 
国家"863"高技术发展计划项目(2008AA01A309)
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函...
关键词：泛型编程 函数式程序设计 语法扩展 泛型抽象 
基于Camlp5的泛型编程“缺省情况”研究
《军事通信技术》2013年第1期43-48,95,共7页王朋 张兴元 徐健 
"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这...
关键词：泛型编程 函数式程序设计 语法扩展 缺省情况 
函数式语言泛型特性的研究与实现
《计算机工程与应用》2012年第28期71-76,共6页李阳 于尚超 王朋 
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行...
关键词：泛型编程 类型抽象 函数式程序设计 语法扩展 
苛求软件可靠性方法、技术与模型研究
《城市轨道交通研究》2012年第2期89-95,114,共8页武延华 薛小平 王小平 
从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类...
关键词：苛求系统 软件可靠性 形式化方法 软件容错 函数式程序设计 评估模型 
使递归算法泛型化被引量：1
《计算机技术与发展》2008年第7期96-99,共4页缪伟宇 邵志清 
国家自然科学基金资助项目(60373075)
对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函...
关键词：泛型编程 泛型算法 原始递归 函数式程序设计 
函数式程序范式在语义web中的应用被引量：1
《中国科技信息》2006年第24期79-79,87,共2页李向阳 连小绮 
华侨大学科研基金资助项目(04HZR18)
本文对语义web应用的关键特性和纯函数式编程范式下的知识表示、推理和编程的特性进行了对比分析。从理论分析和实验结果都表明:相对于目前广泛应用的基于状态和过程的程序设计范式,纯函数式编程范式在计算特性方面与语义web的要求更贴...
关键词：纯函数式程序设计 语义WEB HASKELL 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部