泛函程序设计语言实现中的图归约演算

详细信息   全文下载|推荐本文 |

• 出版年：1993
• 作者：杨祥金
• 单位1：东南大学计算机系
• 语种：中文
• 作者关键词：图归约演算；泛函程序设计语言
• 起始页：12
• 总页数：14
• 刊名：计算机研究与发展
• 是否内版：否
• 刊频：月刊
• 创刊时间：1958
• 主办单位：中国科学院计算技术研究所；中国计算机学会
• 邮编：100080
• 卷：30
• 期：12

摘要

本文叙述了在VonNeumann机器上实现基于A演算、SKI演算的泛函程序设计语言所采用的图归约演算（SKI-G演算）。SKI-G演算是SKI演算的图形表示，是基于囷形的形式归约系统，面向机器实现，是实现高阶、引用透明、归约语义、全惰性泛函程序设计语言的主要技术基础。