Λ演算

作品数：10被引量：21H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：江南何炎祥李清安宋国新丁志义更多>>
相关机构：南京大学上海交通大学武汉大学湖北工业大学更多>>
相关期刊：《福州大学学报（自然科学版）》《小型微型计算机系统》《程序员》《语数外学习（高中版）（下）》更多>>
相关基金：国家自然科学基金博士科研启动基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明
《计算机研究与发展》1993年第12期1-11,共11页杨祥金 
国家自然科学基金DDFP
ABSTRACT,C-T-ABS 是把λ表达式转换成SKI 表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算、SKI 演算的基本理论出发,对这两个算法进行了理论推导及功能上的等价性证明。展示了对同一输入,C-T-ABS 能生成较优化的代码,并...
关键词：抽象算法 Λ演算 SKI演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部