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

Graphic Reduction Calculus in Implementation of Functional Programming

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

Abstract: This paper describes graphic reduction calculus （SKI-G-calculus） in implementation of functional programming based on λ-calculus and SKI-calculus.SKI-G calculus oriented machine implementation is a version of SKI-calculus,a formal reduction system based on graphic,and is also a technical foundation of implementing high order,transparency reference,reduction semantics and fullylazy functional programming.