递归调用

作品数：100被引量：66H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李从宏程继洪娄山佑王文贝王鑫更多>>
相关机构：华北电力大学四川用联信息技术有限公司国际商业机器公司苏州科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金全国教育科学“十一五”教育部规划课题辽宁省普通高等教育本科教学改革研究项目福建省农科院青年科技人才创新基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于图灵机的递归技术的实现
《计算机工程与科学》2008年第10期153-155,F0003,共4页陈晓亮 卢朝辉 宋文 
图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用...
关键词：图灵机 递归调用 模型 计算 算法 
程序求值与广义部分计算
《计算机工程与科学》1990年第4期91-101,共11页Yoshihiko Futamura 何玉兰 
广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序...
关键词：求值 程序变换 抽象数据类型 定义函数 定理证明 程序设计语言 递归调用 谓词逻辑 最小不动点 函数调用 
国防科技大学研究生院八八年研究生入学考试程序设计、数据结构试题
《计算机工程与科学》1989年第2期95-98,共4页
~~
关键词：研究生入学考试 国防科技大学 数据结构 八年 递归调用 RADIX INTEGER PASCAL CONST 基类 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部