递归函数

作品数：164被引量：152H指数：6
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：陈海明董韫美郑锡忠李爱中黄文集更多>>
相关机构：中国科学院软件研究所南京大学哈尔滨工业大学电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种新型递归函数的求值算法被引量：2
《软件学报》2004年第9期1277-1291,共15页陈海明 
国家自然科学基金~~
上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在...
关键词：上下文无关语言 递归函数 求值算法 
一类递归函数的多态类型被引量：1
《软件学报》2004年第7期969-976,共8页黄文集 
国家自然科学基金~~
以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitions...
关键词：函数式语言 多态 类型检查 递归函数 类型系统 
运算构造和检验系统FC的设计和实现被引量：1
《软件学报》1998年第10期755-759,共5页陈海明 
国家自然科学基金;国家863高科技项目;国家"九五"科技攻关计划基金
运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互...
关键词：递归函数 函数计算 形式规约 FC 软件工程 
迭代函数及其可计算性
《软件学报》1996年第A00期232-238,共7页阎志欣 黄盛萍 
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图...
关键词：迭代函数 递归函数 可计算性 
Grzegorczyk分层的一种延伸
《软件学报》1994年第3期55-64,共10页郑锡忠 钱磊 
国家自然科学基金
本文讨论某些递归函数类的分层问题．首先给出的是原始的Ｇｏｒｚｅｇｏｒｃｚｙｋ分层的一种较为简单的等价定义．然后，作为对Ａｃｋｅｒｍａｎｎ函数的一种推广，定义了一个递归函数序列｛Ａｎ｝ｎ∈ω．并以此作为分层函数列定义了...
关键词：递归函数 G-分层 分层 Z-分层 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部