-

检索结果分析

结果分析中...
检索条件:"关键词=函数式程序设计 "
条 记 录,以下是1-10
视图:
排序:
显示条数:
函数程序设计语言的领军人物——北京大学讲座教授胡振江
《科技成果管理与研究》2020年第5期65-67,共3页王玮 
函数语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数语言...
关键词:函数程序设计 函数语言 程序设计语言 软件开发 大数据处理 程序语言 摩尔定律 函数语言 
混合型冗余方程组与n-线性方程的求解
《湘潭大学自然科学学报》1996年第1期130-133,共4页袁华强 孙永强 
国家自然科学基金
本文讨论了一类常量函数不一定相同的混合型冗余方程组的求解,依据程序依正交系展开的理论与方法,将n-线程的求解进行了推广,使其应用范围更广泛,并给出了实例.
关键词:函数程序设计 冗余方程组 n-线性方程 
O'Caml泛型编程中“泛型抽象”的研究
《计算机技术与发展》2013年第7期92-95,100,共5页王朋 徐健 于尚超 
国家"863"高技术发展计划项目(2008AA01A309)
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函...
关键词:泛型编程 函数程序设计 语法扩展 泛型抽象 
苛求软件可靠性方法、技术与模型研究
《城市轨道交通研究》2012年第2期89-95,114,共8页武延华 薛小平 王小平 
从瀑布程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形化建模与验证、屏蔽设计错误的多版本软件容错、函数程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类...
关键词:苛求系统 软件可靠性 化方法 软件容错 函数程序设计 评估模型 
非线性冗余函数方程组的展开被引量:1
《上海交通大学学报》1995年第5期1-7,共7页孙永强 袁华强 
本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开解,其中针对未知函数的4种不同的位置分别进行了求解,得到了二元三次冗余函数方程组的展开解,并给出了实例。
关键词:函数程序设计 程序代数 非线性函数方程 
函数语言泛型特性的研究与实现
《计算机工程与应用》2012年第28期71-76,共6页李阳 于尚超 王朋 
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数语言上进行...
关键词:泛型编程 类型抽象 函数程序设计 语法扩展 
使递归算法泛型化被引量:1
《计算机技术与发展》2008年第7期96-99,共4页缪伟宇 邵志清 
国家自然科学基金资助项目(60373075)
对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数程序设计语言的算法,函...
关键词:泛型编程 泛型算法 原始递归 函数程序设计 
SIMPLE:一种新型多范型程序设计语言
《计算机科学》2014年第7期1-8,44,共9页吴迪 陈林 徐宝文 
国家重点基础研究发展计划项目(2014CB340702);国家自然科学基金项目(61170071);江苏省自然科学基金(BK2011190)资助
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程...
关键词:程序设计语言 语言设计 多范型程序设计 面向过程程序设计 面向对象程序设计 函数程序设计 
以己所学 服务国家——记北京大学计算机学院院长胡振江
《科学中国人》2024年第5期32-35,共4页李莉 
如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融...
关键词:程序设计语言 函数程序设计 并行程序设计 软件开发 设计和实现 程序语言 软件定义 泛在计算 
函数I/O的操作语义被引量:8
《计算机学报》1998年第11期1009-1014,共6页袁华强 孙永强 
目前被人们广泛采用的处理函数I/O的机制有三种:Monad,Dialogue,CPS.本文采用CCS的理论和方法,把互模拟等价作为I/O程序的相等关系,描述了这三种I/O机制的操作语义,推导出这三种I/O机制相互之间的转换关系,从而证明了这三...
关键词:函数程序设计 I/O 操作语义 
检索报告 对象比较 聚类工具 使用帮助 返回顶部