咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 22 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

  • 3 篇 王朋
  • 3 篇 孙永强
  • 3 篇 袁华强
  • 2 篇 江明德
  • 2 篇 于尚超
  • 2 篇 徐健
  • 2 篇 徐家福
  • 1 篇 王小平
  • 1 篇 朱鸿
  • 1 篇 李阳
  • 1 篇 李莉
  • 1 篇 史涯晴
  • 1 篇 缪伟宇
  • 1 篇 john backus
  • 1 篇 陈珮珮
  • 1 篇 梁英
  • 1 篇 金淳兆
  • 1 篇 徐宝文
  • 1 篇 何伟方
  • 1 篇 张兴元

语言

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