期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Combinator演算族的π演算语义
1
作者 张红 刘磊 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2006年第3期391-396,共6页
以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在... 以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径. 展开更多
关键词 Π演算 Combinator演算族 ski演算 语义
下载PDF
抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明
2
作者 杨祥金 《计算机研究与发展》 EI CSCD 北大核心 1993年第12期1-11,共11页
ABSTRACT,C-T-ABS 是把λ表达式转换成SKI 表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算、SKI 演算的基本理论出发,对这两个算法进行了理论推导及功能上的等价性证明。展示了对同一输入,C-T-ABS 能生成较优化的代码,并... ABSTRACT,C-T-ABS 是把λ表达式转换成SKI 表达式的抽象算法,是函数式语言实现的理论基础。本文从λ演算、SKI 演算的基本理论出发,对这两个算法进行了理论推导及功能上的等价性证明。展示了对同一输入,C-T-ABS 能生成较优化的代码,并对它们生成代码的长度及归约效率进行了比较。 展开更多
关键词 抽象算法 Λ演算 ski演算
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部