咨询与建议

限定检索结果

文献类型

  • 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 篇 wang peng
  • 2 篇 刘承威
  • 2 篇 于尚超
  • 1 篇 miao wei-yu
  • 1 篇 xue xiaoping

语言

  • 28 篇 中文
检索条件"主题词=函数式程序设计"
28 条 记 录,以下是1-10 订阅
排序:
结构化并行函数式程序设计——模型、语言及其实现
结构化并行函数式程序设计——模型、语言及其实现
收藏 引用
作者: 袁伟 上海交通大学
学位级别:博士
该文试图提出一种结构化并行程序设计方法以支持面向不同并行平台的\"通用\"并行程序设计,并从模型、语言和实现等三个方面展开了研究和探讨.基于有关因果关系复合的CCL(Communication Close Layer)和描述局部性计算的BMF(Bir... 详细信息
来源: 评论
程序设计能从冯·诺依曼设计风格中解放出来吗?函数式程序设计及其程序代数
收藏 引用
计算机科学 1984年 第3期 21-43页
作者: John Backus 戴敏
John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范 BNF 就是以他命名的。本文是 John Backus 于1977年接受 ACM 图灵奖时的讲演稿。... 详细信息
来源: 评论
嵌套并发软件机网在函数式程序设计系统中的表示
收藏 引用
电子学报 1985年 第3期 63-70页
作者: 江明德 成都电讯工程学院
为了使函数式程序设计(FP)系统适用于分布处理环境,本文引入通讯函数型,在此基础上提出并发软件机(CSM)概念。CSM在FP系统中将表示成一个模块,即一个函数,它们可以是嵌套的、递归的。各CSM通过通讯函数型相互联系,组成CSM网。
来源: 评论
并发软件机模块在函数式程序设计系统中的表示
收藏 引用
计算机学报 1985年 第6期 410-416页
作者: 江明德 成都电讯工程学院
本文引入并发软件机(CSM)念,用一种扩展的Petri网来形说明CSM,并提出构造此种模块的方法,及FP(函数式程序设计)模块化这两概形地论述“CSM总可表示成FP模块”,
来源: 评论
软件工程设计函数式程序设计系统
收藏 引用
电子计算机动态 1981年 第1期 1-6页
作者: 徐家福 南京大学
软件工程设计程序设计语言的关系至为密切。在某种意义上可以说,程序设计语言在软件工程设计中具有关键作用。作者讨论了软件工程设计中的问题,指出了传统的程序设计语言的本质缺陷,介绍了John Backus的FP系统,并对今后的发展提出了... 详细信息
来源: 评论
函数式程序设计语言的领军人物——北京大学讲座教授胡振江
收藏 引用
科技成果管理与研究 2020年 第5期15卷 65-67页
作者: 王玮 不详
函数语言是将函数作为一阶实体的语言,具有描述能力强、无副作用、易于并行化等良好的性质。函数式程序设计语言从20世纪50年代开始发展,已有60多年历史。进入21世纪以来,随着摩尔定律的逐步失效和软件开发需求的不断增多,函数语言... 详细信息
来源: 评论
Lisp函数式程序设计语言的特征
收藏 引用
浙江理工大学学报(自然科学版) 1986年 第1期 57-59页
作者: 何伟方 浙江丝绸工学院机电系
随着人工智能领域的扩展,对函数式程序设计语言的研究,已成为计算机语言中的一个重要分支。Lisp语言是函数语言的一个形,已被广泛应用。本文主要探讨函数语言,函数语言系统及其函数程序的特征。
来源: 评论
SIMPLE:一种新型多范型程序设计语言
收藏 引用
计算机科学 2014年 第7期41卷 1-8,44页
作者: 吴迪 陈林 徐宝文 南京大学软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 详细信息
来源: 评论
程序展开理论
收藏 引用
中国科学(A辑 数学 物理学 天文学 技术科学) 1988年 第8期 887-896页
作者: 朱鸿 南京大学计算机软件研究所
本文提出了程序依正交系展开的理论与方法,对其理论基础、展开方法及其应用等问题进行了研究,证明了程序依正交系展开的存在性、唯一性,给出了展开的收敛条件,通过对以正交映射为基础的展开方法的研究,得到了较强的展开定理。本文还... 详细信息
来源: 评论
非线性冗余函数方程组的展开
收藏 引用
上海交通大学学报 1995年 第5期29卷 1-7页
作者: 孙永强 袁华强 上海交通大学计算机科学与工程系 上海
本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开解,其中针对未知函数的4种不同的位置分别进行了求解,得到了二元三次冗余函数方程组的展开解,并给出了实例。
来源: 评论