论文部分内容阅读
ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及功能的等价证明。展示了对一输入，Ｃ－Ｔ－ＡＢＳ能生成较优化的代码，并对它们生成代码的长度及归约效率进行了比较。
抽象算法C—T—ABS和ABSTRACT的理论推导与等价性证明
【摘 要】
：
ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及功能的等价证明。展示了对一输入，Ｃ－Ｔ－ＡＢＳ能生成较优
【机 构】
：
东南大学计算机系南京,210018
【出 处】
：
计算机研究与发展
【发表日期】
：
1993年12期
【基金项目】
：
国家自然科学基金DDFP
其他文献
一、师训安排应关注教师需求,培训形式要走向校本中小学教师培训是一个"教师有培训需求、培训主动适应需求、开展针对性培训服务、满足教师培训需求"的运作过程.在过去的两年
ＳＤＨ电信网络管理系统解放军信息工程学院梁军杰一、引言电信网的规模不断扩大，电信业务的种类不断增加，整个电信网络变得越来越复杂，对电信网进行维护管理的要求也越来越高。为了提
从目前职业教育的专业课教材来看，有相当一部分教材对新知识、新技术、新标准、新规范反映不够，加上教材编写所固有的周期性，使得职业岗位广泛采用的新知识、新技术未能及时进入
一、高校对小学美术师资培养的现状以重庆现有初等教育专业的高等院校来看，基本上是以前的中等师范学校转制而来，在培养中师阶段方面有着丰富的经验。但是在专科和本科阶段的教
对于一般的n,本文给出了n维超立方体拓扑结构O_n(Q_n中的每个顶点代表一台计算机)中通信传输路由长度互不相等的最大顶点子集中的顶点个数,并且,对某些n求出了Q_n 中通信传输
概念化个体的分类层次结构是智能信息处理系统中模型化问题域的一种有效方法。文中探讨如何把概念化个体的分类层次结构与面向对象的程序设计风格和多种知识表示方法相结合，给