检索结果-内蒙古大学图书馆

科技成果管理与研究 2020年第5期15卷 65-67页

作者：王玮不详

函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言... 详细信息

函数式语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数式语言因为其表达能力强、并行能力好等方面的特点,在软件开发中的作用变得越来越重要。目前,几乎所有的主流程序设计语言都添加了函数式程序设计特征,大量不同领域的主流软件开发框架比如大数据处理S park框架等都直接采用函数式程序设计语言开发,程序语言科研界的大量论文也都直接基于函数语言进行讨论。

关键词：函数式程序设计函数式语言程序设计语言软件开发大数据处理程序语言摩尔定律函数语言

来源：评论

学校读者我要写书评

暂无评论

以己所学服务国家——记北京大学计算机学院院长胡振江

引用

科学中国人 2024年第5期 32-35页

作者：李莉不详

如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融... 详细信息

如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融合的发展,计算的泛在化成为必然,泛在计算中不断涌现出的新计算模式、新计算平台和新的应用问题给程序设计语言的定义和实现带来了新的挑战。北京大学计算机学院教授胡振江长期从事程序设计语言和软件科学与工程的研究,在程序语言设计、结构化函数式程序设计、程序的自动综合和优化、并行程序设计、双向变换语言的设计和实现及软件的演化和维护等方面做出了很多开创性工作并取得了突出研究成果。

关键词：程序设计语言函数式程序设计并行程序设计软件开发设计和实现程序语言软件定义泛在计算

来源：评论

学校读者我要写书评

暂无评论

突出编程能力培养的编译原理课程教学改革

引用

计算机教育 2022年第9期 105-108页

作者：史涯晴陆军工程大学指挥控制工程学院江苏南京210007

针对编译原理课程教学存在的理论晦涩、实验片面和考核简单等问题,分析问题解决的关键在于突出编程能力培养,提出基于函数式程序设计语言的编译原理课程教学改革方案,并给出相应的教学实例,最后说明教学改革效果。

关键词：编译原理编程能力培养教学改革函数式程序设计

来源：评论

学校读者我要写书评

暂无评论

一种基于图形化卫式命令演算的多任务编译方法

一种基于图形化卫式命令演算的多任务编译方法

引用

作者：杨志斌袁胜浩谢健刘承威王飞薛垒王永孟 211106 江苏省南京市江宁区将军大道29号

本发明为一种基于图形化卫式命令演算的多任务编译方法，涉及到一个图形化卫式命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法，对于设计人员输入的GCC_graph程序，该编译器自动将其编译生成相应的可执行多任务Ada/C代码。该... 详细信息

标准号: CN108319458B

本发明为一种基于图形化卫式命令演算的多任务编译方法，涉及到一个图形化卫式命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法，对于设计人员输入的GCC_graph程序，该编译器自动将其编译生成相应的可执行多任务Ada/C代码。该编译器的所有功能由函数式程序设计语言CAML编程实现，由于CAML是一种安全的语言，CAML程序在执行之前由自身编译器进行验证。此外，本发明设计的编译器使用模块化结构，一旦程序发生改变，我们只需要修改对应模块的代码。

关键词：编译器演算可执行图形化函数式程序设计模块化结构任务编译自动编译编程语言编译验证安全

来源：评论

学校读者我要写书评

暂无评论

一种同步数据流程序的形式化编译方法

一种同步数据流程序的形式化编译方法

引用

作者：杨志斌袁胜浩屈有昊王飞谢健王永孟薛垒周勇黄志球 210016 江苏省南京市秦淮区御道街29号

本发明涉及到一个同步数据流语言SIGNAL自动生成串行C代码的编译器，该编译器对用户输入的SIGNAL程序，能自动将其生成相应的串行C代码。该编译器使用函数式程序设计语言CAML来编写程序，因为CAML语言使用强类型系统，具有较高的安全性... 详细信息

标准号: CN106648813B

本发明涉及到一个同步数据流语言SIGNAL自动生成串行C代码的编译器，该编译器对用户输入的SIGNAL程序，能自动将其生成相应的串行C代码。该编译器使用函数式程序设计语言CAML来编写程序，因为CAML语言使用强类型系统，具有较高的安全性，并且可以使用对应的定理证明方法来验证编译器的正确性。此外，该编译器使用模块化结构，一旦改进或优化编译器，仅需验证对应的模型即可，而非重新对整个编译器进行验证。

关键词：编译器验证函数式程序设计模块化结构同步数据流优化编译器编写程序定理证明类型系统语言使用自动生成语言改进

来源：评论

学校读者我要写书评

暂无评论

一种基于图形化卫式命令演算的多任务编译方法

一种基于图形化卫式命令演算的多任务编译方法

引用

作者：杨志斌袁胜浩谢健刘承威王飞薛垒王永孟 211106 江苏省南京市江宁区将军大道29号

标准号: CN108319458A

关键词：编译器演算可执行图形化函数式程序设计模块化结构任务编译自动编译编程语言编译验证安全

来源：评论

学校读者我要写书评

暂无评论

一种同步数据流程序的形式化编译方法

一种同步数据流程序的形式化编译方法

引用

作者：杨志斌袁胜浩屈有昊王飞谢健王永孟薛垒周勇黄志球 210016 江苏省南京市秦淮区御道街29号

标准号: CN106648813A

关键词：编译器验证函数式程序设计模块化结构同步数据流优化编译器编写程序定理证明类型系统语言使用自动生成语言改进

来源：评论

学校读者我要写书评

暂无评论

SIMPLE:一种新型多范型程序设计语言

引用

计算机科学 2014年第7期41卷 1-8,44页

作者：吴迪陈林徐宝文南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 详细信息

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。

关键词：程序设计语言语言设计多范型程序设计面向过程程序设计面向对象程序设计函数式程序设计

来源：评论

学校读者我要写书评

暂无评论

基于Camlp5的泛型编程“缺省情况”研究

引用

军事通信技术 2013年第1期34卷 43-48+95页

作者：王朋张兴元徐健解放军理工大学指挥信息系统学院研究生2队解放军理工大学指挥信息系统学院

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,... 详细信息

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。

关键词：泛型编程函数式程序设计语法扩展缺省情况

来源：评论

学校读者我要写书评

暂无评论

O'Caml泛型编程中“泛型抽象”的研究

引用

计算机技术与发展 2013年第7期23卷 92-95,100页

作者：王朋徐健于尚超解放军理工大学指挥信息系统学院

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和... 详细信息

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。

关键词：泛型编程函数式程序设计语法扩展泛型抽象

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：