咨询与建议

限定检索结果

文献类型

  • 23 篇 期刊文献
  • 4 篇 专利
  • 1 篇 学位论文

馆藏范围

  • 28 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 工学
    • 19 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 1 篇 电气工程
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 历史学
    • 1 篇 中国史
  • 1 篇 理学
    • 1 篇 数学

主题

  • 24 篇 函数式程序设计
  • 4 篇 程序设计语言
  • 4 篇 泛型编程
  • 3 篇 程序语言
  • 3 篇 语法扩展
  • 3 篇 lisp
  • 3 篇 软件开发
  • 3 篇 软件工程
  • 2 篇 诺依曼
  • 2 篇 程序
  • 2 篇 csm
  • 2 篇 函数集
  • 2 篇 定义
  • 2 篇 fp
  • 2 篇 函数式语言
  • 1 篇 国际学术会议
  • 1 篇 原始递归
  • 1 篇 摩尔定律
  • 1 篇 n-线性方程
  • 1 篇 多范型程序设计

机构

  • 4 篇 南京大学
  • 4 篇 南京航空航天大学
  • 3 篇 上海交通大学
  • 3 篇 解放军理工大学
  • 2 篇 成都电讯工程学院
  • 2 篇 湘潭大学
  • 1 篇 同济大学
  • 1 篇 灵芯实验室
  • 1 篇 华东理工大学
  • 1 篇 陆军工程大学
  • 1 篇 浙江丝绸工学院

作者

  • 4 篇 薛垒
  • 4 篇 谢健
  • 4 篇 王永孟
  • 4 篇 袁胜浩
  • 4 篇 王飞
  • 4 篇 杨志斌
  • 3 篇 王朋
  • 3 篇 孙永强
  • 3 篇 袁华强
  • 2 篇 屈有昊
  • 2 篇 徐健
  • 2 篇 黄志球
  • 2 篇 徐家福
  • 2 篇 江明德
  • 2 篇 周勇
  • 2 篇 刘承威
  • 2 篇 于尚超
  • 1 篇 王小平
  • 1 篇 陈珮珮
  • 1 篇 袁伟

语言

  • 28 篇 中文
检索条件"主题词=函数式程序设计"
28 条 记 录,以下是1-10 订阅
排序:
函数式程序设计语言的领军人物——北京大学讲座教授胡振江
收藏 引用
科技成果管理与研究 2020年 第5期15卷 65-67页
作者: 王玮 不详
函数语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数语言... 详细信息
来源: 评论
以己所学 服务国家——记北京大学计算机学院院长胡振江
收藏 引用
科学中国人 2024年 第5期 32-35页
作者: 李莉 不详
如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融... 详细信息
来源: 评论
突出编程能力培养的编译原理课程教学改革
收藏 引用
计算机教育 2022年 第9期 105-108页
作者: 史涯晴 陆军工程大学指挥控制工程学院 江苏南京210007
针对编译原理课程教学存在的理论晦涩、实验片面和考核简单等问题,分析问题解决的关键在于突出编程能力培养,提出基于函数式程序设计语言的编译原理课程教学改革方案,并给出相应的教学实例,最后说明教学改革效果。
来源: 评论
一种基于图形化卫命令演算的多任务编译方法
一种基于图形化卫式命令演算的多任务编译方法
收藏 引用
作者: 杨志斌 袁胜浩 谢健 刘承威 王飞 薛垒 王永孟 211106 江苏省南京市江宁区将军大道29号
本发明为一种基于图形化卫命令演算的多任务编译方法,涉及到一个图形化卫命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法,对于设计人员输入的GCC_graph程序,该编译器自动将其编译生成相应的可执行多任务Ada/C代码。该... 详细信息
来源: 评论
一种同步数据流程序的形化编译方法
一种同步数据流程序的形式化编译方法
收藏 引用
作者: 杨志斌 袁胜浩 屈有昊 王飞 谢健 王永孟 薛垒 周勇 黄志球 210016 江苏省南京市秦淮区御道街29号
本发明涉及到一个同步数据流语言SIGNAL自动生成串行C代码的编译器,该编译器对用户输入的SIGNAL程序,能自动将其生成相应的串行C代码。该编译器使用函数式程序设计语言CAML来编写程序,因为CAML语言使用强类型系统,具有较高的安全性... 详细信息
来源: 评论
一种基于图形化卫命令演算的多任务编译方法
一种基于图形化卫式命令演算的多任务编译方法
收藏 引用
作者: 杨志斌 袁胜浩 谢健 刘承威 王飞 薛垒 王永孟 211106 江苏省南京市江宁区将军大道29号
本发明为一种基于图形化卫命令演算的多任务编译方法,涉及到一个图形化卫命令演算GCC_graph自动编译生成可执行多任务Ada/C代码方法,对于设计人员输入的GCC_graph程序,该编译器自动将其编译生成相应的可执行多任务Ada/C代码。该... 详细信息
来源: 评论
一种同步数据流程序的形化编译方法
一种同步数据流程序的形式化编译方法
收藏 引用
作者: 杨志斌 袁胜浩 屈有昊 王飞 谢健 王永孟 薛垒 周勇 黄志球 210016 江苏省南京市秦淮区御道街29号
本发明涉及到一个同步数据流语言SIGNAL自动生成串行C代码的编译器,该编译器对用户输入的SIGNAL程序,能自动将其生成相应的串行C代码。该编译器使用函数式程序设计语言CAML来编写程序,因为CAML语言使用强类型系统,具有较高的安全性... 详细信息
来源: 评论
SIMPLE:一种新型多范型程序设计语言
收藏 引用
计算机科学 2014年 第7期41卷 1-8,44页
作者: 吴迪 陈林 徐宝文 南京大学软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 详细信息
来源: 评论
基于Camlp5的泛型编程“缺省情况”研究
收藏 引用
军事通信技术 2013年 第1期34卷 43-48+95页
作者: 王朋 张兴元 徐健 解放军理工大学指挥信息系统学院研究生2队 解放军理工大学指挥信息系统学院
"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方,... 详细信息
来源: 评论
O'Caml泛型编程中“泛型抽象”的研究
收藏 引用
计算机技术与发展 2013年 第7期23卷 92-95,100页
作者: 王朋 徐健 于尚超 解放军理工大学指挥信息系统学院
泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和... 详细信息
来源: 评论