检索结果-维普期刊中文期刊服务平台

Haskell:一种现代纯函数式语言被引量：7: 1; 作者张迎周张卫丰《南京邮电大学学报（自然科学版）》 EI 2007年第4期13-18,23,共7页; 随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这... 展开更多; 关键词 HASKELL 函数式语言多态类型高价函数惰性计算; 在线阅读下载PDF 职称材料

基于松散耦合MIMD计算机系统的函数式语言并行实现技术被引量：1: 2; 作者袁伟孙永强《上海交通大学学报》 EI CAS CSCD 北大核心 1993年第5期54-63,共10页; 本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理... 展开更多; 关键词函数式语言并行处理多处理机; 在线阅读下载PDF 职称材料

函数式语言中的数组更新(I): 3; 作者石跃祥袁华强《湘潭大学自然科学学报》 CAS CSCD 2002年第4期21-25,共5页; 为了能够较好地处理函数式程序设计语言中的I O问题 ,通过采用Monad方法将I O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I; 关键词数组更新纯函数式语言赋值操作输入/输出指称语义数操作 I/O系统; 在线阅读下载PDF 职称材料

函数式语言中赋值语句(之二) 被引量：1: 4; 作者石跃祥袁华强《湘潭大学自然科学学报》 CAS CSCD 2001年第1期8-11,6,共5页; 为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .; 关键词函数式程序设计语言赋值操作输入/输出指称语义赋值语句引用透明性; 在线阅读下载PDF 职称材料

函数－规约混合语言的设计与实现: 5; 作者林凯沈理 +1 位作者陆朝俊孙永强《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期100-106,共7页; 在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则... 展开更多; 关键词函数式语言代数规约约束类型优化规则; 在线阅读下载PDF 职称材料

Haskell语言的惰性计算特性: 6; 作者庞建民赵荣彩《信息工程大学学报》 2006年第1期63-66,共4页; 惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但如何在实际编程中充分利用这一特性并不是一件容易的事情。该文详细介绍Haskell的惰性计算特性,阐述如... 展开更多; 关键词惰性计算函数式语言 HASKELL 高阶函数列表内涵; 在线阅读下载PDF 职称材料

面向形式化验证的联锁翻译器软件设计被引量：4: 7; 作者王绍新王燕芩闫连山《铁路通信信号工程技术》 2022年第2期18-23,42,共7页; 根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。; 关键词联锁系统形式化验证翻译器软件 OCaml 函数式语言; 在线阅读下载PDF 职称材料

内含定理证明器的程序开发系统: 8; 作者孙永强杨继锋 +1 位作者陆朝俊邵志清《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期42-45,共4页; 提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给... 展开更多; 关键词函数式语言软件工程程序开发系统定理证明器; 在线阅读下载PDF 职称材料

泛型程序的多型值构造: 9; 作者丁志义宋国新邵志清《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第8期967-969,1006,共4页; 泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型... 展开更多; 关键词泛型程序设计类型函数式语言; 在线阅读下载PDF 职称材料

题名Haskell:一种现代纯函数式语言被引量：7: 1; 作者张迎周张卫丰; 机构南京邮电大学计算机学院; 出处《南京邮电大学学报（自然科学版）》 EI 2007年第4期13-18,23,共7页; 基金国家自然科学基金(60503020)和江苏省高校自然科学基金(05KJD520151)资助项目; 文摘随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度。函数式程序设计语言为解决这些问题提供了优美独特的框架。文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等。Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型。; 关键词 HASKELL 函数式语言多态类型高价函数惰性计算; Keywords Haskell Functional programming languages Polymorphic typing Higher-order functions Lazy evaluation; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于松散耦合MIMD计算机系统的函数式语言并行实现技术被引量：1: 2; 作者袁伟孙永强; 机构上海交通大学计算机科学系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1993年第5期54-63,共10页; 基金国家教委博士基金; 文摘本文基于MIMD计算机系统提出了函数式语言的并行LE机.并行LE计值在函数式语言FP的基本语义中增加了对THREAD对象和延迟对象LOBJ处理的语义规则,其计值能力介于积极计值和惰性计值之间。为有效开发程序中细颗粒度并行性,本文将延迟处理技术文入并行进程的生成过程中,因而在成分开发系统的并行处理能力的同时减少了系统生成的进程数目。; 关键词函数式语言并行处理多处理机; Keywords functional language parallel processing parallel LE evaluation Thread Lazy Process creation method Transputer network; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名函数式语言中的数组更新(I): 3; 作者石跃祥袁华强; 机构湘潭大学信息工程学院; 出处《湘潭大学自然科学学报》 CAS CSCD 2002年第4期21-25,共5页; 基金湖南省教育厅资助项目 (0 0C0 0 87); 文摘为了能够较好地处理函数式程序设计语言中的I O问题 ,通过采用Monad方法将I O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I; 关键词数组更新纯函数式语言赋值操作输入/输出指称语义数操作 I/O系统; Keywords Pure functiaonal languages Assign operations I/O Denotational semantics; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名函数式语言中赋值语句(之二) 被引量：1: 4; 作者石跃祥袁华强; 机构湘潭大学计算机科学系; 出处《湘潭大学自然科学学报》 CAS CSCD 2001年第1期8-11,6,共5页; 文摘为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .; 关键词函数式程序设计语言赋值操作输入/输出指称语义赋值语句引用透明性; Keywords function programming languages ,assign operations,I/O ,denotational semantic; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名函数－规约混合语言的设计与实现: 5; 作者林凯沈理陆朝俊孙永强; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期100-106,共7页; 基金国家"八六三"计划国家八五计划资助; 文摘在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．; 关键词函数式语言代数规约约束类型优化规则; Keywords functional programming language algebraic specification restrained type optimal rule; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Haskell语言的惰性计算特性: 6; 作者庞建民赵荣彩; 机构信息工程大学信息工程学院; 出处《信息工程大学学报》 2006年第1期63-66,共4页; 基金欧盟项目TYPES(typesproject29001); 文摘惰性计算特性是函数式程序设计语言Haskell的重要特征,在开发软件时利用Haskell的惰性计算特性解决了其它语言较难解决的一些问题,但如何在实际编程中充分利用这一特性并不是一件容易的事情。该文详细介绍Haskell的惰性计算特性,阐述如何用这些特性来编写简洁优美的程序。; 关键词惰性计算函数式语言 HASKELL 高阶函数列表内涵; Keywords lazy evaluation functional language Haskell higher-order function list comprehensions; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向形式化验证的联锁翻译器软件设计被引量：4: 7; 作者王绍新王燕芩闫连山; 机构卡斯柯信号(成都)有限公司卡斯柯信号有限公司西南交通大学信息科学与技术学院; 出处《铁路通信信号工程技术》 2022年第2期18-23,42,共7页; 基金中国国家铁路局集团有限公司科技研究开发计划重点课题(N2021S003) 四川省重大科技专项(2019ZDZX0007)。; 文摘根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。; 关键词联锁系统形式化验证翻译器软件 OCaml 函数式语言; Keywords interlocking system formal verification translator software OCaml functional programming; 分类号 U294.362 [交通运输工程—交通运输规划与管理]; 在线阅读下载PDF 职称材料

题名内含定理证明器的程序开发系统: 8; 作者孙永强杨继锋陆朝俊邵志清; 机构上海交通大学计算机科学与工程系华东理工大学计算机科学系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期42-45,共4页; 基金国家九五科技攻关基金; 文摘提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式，对程序进行测试，这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明，是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入，提高了所开发系统的正确性，并且有利于缩短系统的开发周期．; 关键词函数式语言软件工程程序开发系统定理证明器; Keywords functional language algebraic specification rewriting system theorem proving test; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名泛型程序的多型值构造: 9; 作者丁志义宋国新邵志清; 机构华东理工大学计算机科学与工程系; 出处《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第8期967-969,1006,共4页; 基金国家自然科学基金(60373075 60473055); 文摘泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的相等性,同时,定义相等性的方法也可以自然地推广到其他函数的定义上。; 关键词泛型程序设计类型函数式语言; Keywords generic programming type functional programming language; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Haskell:一种现代纯函数式语言	张迎周张卫丰	《南京邮电大学学报（自然科学版）》 EI	2007	7	在线阅读下载PDF 职称材料
2	基于松散耦合MIMD计算机系统的函数式语言并行实现技术	袁伟孙永强	《上海交通大学学报》 EI CAS CSCD 北大核心	1993	1	在线阅读下载PDF 职称材料
3	函数式语言中的数组更新(I)	石跃祥袁华强	《湘潭大学自然科学学报》 CAS CSCD	2002	0	在线阅读下载PDF 职称材料
4	函数式语言中赋值语句(之二)	石跃祥袁华强	《湘潭大学自然科学学报》 CAS CSCD	2001	1	在线阅读下载PDF 职称材料
5	函数－规约混合语言的设计与实现	林凯沈理陆朝俊孙永强	《上海交通大学学报》 EI CAS CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
6	Haskell语言的惰性计算特性	庞建民赵荣彩	《信息工程大学学报》	2006	0	在线阅读下载PDF 职称材料
7	面向形式化验证的联锁翻译器软件设计	王绍新王燕芩闫连山	《铁路通信信号工程技术》	2022	4	在线阅读下载PDF 职称材料
8	内含定理证明器的程序开发系统	孙永强杨继锋陆朝俊邵志清	《上海交通大学学报》 EI CAS CSCD 北大核心	1998	0	在线阅读下载PDF 职称材料
9	泛型程序的多型值构造	丁志义宋国新邵志清	《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料