咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 53 篇 工学
    • 51 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 信息与通信工程
  • 7 篇 教育学
    • 7 篇 教育学
  • 4 篇 理学
    • 4 篇 数学
  • 2 篇 哲学
    • 2 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 军事学
    • 1 篇 军队指挥学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 68 篇 递归程序
  • 17 篇 程序设计
  • 8 篇 程序变换
  • 5 篇 递归调用
  • 4 篇 归纳法
  • 4 篇 递归
  • 4 篇 递归算法
  • 4 篇 非递归程序
  • 4 篇 算法
  • 4 篇 计算方法
  • 3 篇 函数
  • 3 篇 堆栈
  • 3 篇 结构归纳法
  • 3 篇 程序设计方法学
  • 2 篇 子程序
  • 2 篇 递归函数
  • 2 篇 等价变换
  • 2 篇 软件
  • 2 篇 结构程序设计
  • 2 篇 汉诺塔问题

机构

  • 8 篇 厦门大学
  • 2 篇 南华大学
  • 2 篇 北京航空学院
  • 2 篇 武汉大学
  • 2 篇 衡阳师范学院
  • 2 篇 云南民族学院
  • 2 篇 哈尔滨工程大学
  • 1 篇 上海师范大学
  • 1 篇 成都中医药大学
  • 1 篇 地理与环境科学学...
  • 1 篇 郧阳师范高等专科...
  • 1 篇 桂林电子科技大学
  • 1 篇 云南广播电视大学
  • 1 篇 华中理工大学
  • 1 篇 湖南建材高等专科...
  • 1 篇 重庆师范学院
  • 1 篇 计算机与信息科学...
  • 1 篇 唐山师范学院
  • 1 篇 复旦大学
  • 1 篇 湖南工程学院

作者

  • 7 篇 蔡经球
  • 3 篇 刘育刚
  • 2 篇 孙怀民
  • 2 篇 张克均
  • 2 篇 李卫华
  • 2 篇 刘涵哲
  • 2 篇 王立国
  • 1 篇 王永燕
  • 1 篇 许力群
  • 1 篇 曹大有
  • 1 篇 崔志明
  • 1 篇 冯玉琳
  • 1 篇 何大中
  • 1 篇 姜瑜
  • 1 篇 杨天虎
  • 1 篇 he zhenlin
  • 1 篇 shi baile zhou a...
  • 1 篇 liu xiang-yang(d...
  • 1 篇 lu deng-bo (depa...
  • 1 篇 陈舵

语言

  • 69 篇 中文
检索条件"主题词=递归程序"
共 69 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
递归程序变换成非递归程序的方法
收藏
分享
引用
小型微型计算机系统 1989年 第6期10卷 11-18.2页
作者： 王世 郭福顺 潘少静 哈尔滨工业大学计算机科学与工程系
本文讨论将高级语言编写的递归程序自动地变换成非递归程序的变换规则和变换算法。
来源： 评论
关于递归程序变换的注记
收藏
分享
引用
微电子学与计算机 1995年 第6期12卷 45-46页
作者： 蔡经球 厦门大学计算机科学系
关于递归程序变换的注记蔡经球（厦门大学计算机科学系，厦门３６１００５）程序变换技术是自动程序设计和程序设计方法学中的重要研究课题之一。一般而言，递归算法的设计由于符合人的思维习惯（把“复杂情形”逐次归结为“较简单”情... 详细信息
来源： 评论
递归程序变换的实现方法
收藏
分享
引用
微电子学与计算机 1994年 第2期11卷 36-39页
作者： 何大中 湖南建材高等专科学校
本文讨论了递归程序变换为非递归程序的实现方法，并以ＰＡＳＣＡＬ语言的递归程序为处理对象，对控制转向返回地址标号的方法作了改进，对双重递归函数等进行预处理，扩展了方法的使用范围．
来源： 评论
建立于谓词逻辑上的递归程序及其操作语义
收藏
分享
引用
软件学报 1991年 第4期2卷 31-35页
作者： 邵志清 华东化工学院计算机科学系
对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转... 详细信息
来源： 评论
关于并行递归程序变换的探讨
收藏
分享
引用
小型微型计算机系统 1992年 第3期13卷 23-26页
作者： 蔡经球 张克均 厦门大学人工智能与计算机研究所 361005
有相当多一类有关表处理的算法可用递归程序简洁地描述.本文讨论当递归程序中出现并行递归调用时,如何消除并行递归并转化为等价的尾递归程序,而尾递归程序可直接转化为相应的迭代程序,从而大大提高程序的时空运行效率。本文提出的方法... 详细信息
来源： 评论
将递归程序转换为非递归程序的通用方法
收藏
分享
引用
微型计算机 1993年 第6期13卷 39-43页
作者： 王成耀
来源： 评论
递归程序及其验证与综合技术
收藏
分享
引用
计算机科学 1981年 第5期 40-54页
作者： 蔡经球 厦门大学数学系软件教研室
§1.引言在程序设计中,为了处理重复性的计算,最常采用的办法是组织迭代循环。除此之外,有时还可采用递归计算的办法。递归也是一种循环结构,它把“较复杂”情形的计算归结为“较简单”情形的计算,并一直
来源： 评论
递归程序的机械验证
收藏
分享
引用
小型微型计算机系统 1983年 第1期 61-74页
作者： 李卫华 武汉大学
每一位程序验证工作者都知道,用现有的任何一种理论方法去验证稍大一点的计算机程序,都存在着不可避免的手工几乎不可完成的推理判断工作。这显然使人们作出这样的决策,即把那些需要创造性的工作由人工来做,而把大量琐絮的推理细节交机... 详细信息
来源： 评论
递归程序的非递归转换方法
收藏
分享
引用
郑州纺织工学院学报 1995年 第4期6卷 24-28,34页
作者： 韩春利 郑州纺织工学院电气工程系
本文分析了递归程序的几种特殊情况，给出了相应的非递归转换方法，并分别给出了实例。最后，通过两种方法的比较，指出了使用它们的优劣性。
来源： 评论
递归程序的正确性证明
收藏
分享
引用
计算机工程与应用 1980年 第9期23卷 41-58页
4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共7页 <<  < 1 2 3 4 5 6 7 >  >>
回到顶部
执行限定条件