Abstract

This paper describes a compiling graph reduction system which performs high--level program transformations governed by the reduction rules of an untyped applied --calculus. In contrast to other well--known graph reducers, our system completely implements the reduction semantics of a full--fledged --calculus. This renders it possible to support higher--order functions without any restrictions. Functions may be computed by applications of functions to other functions or by partial applications and are returned to the user as high--level programs. Also, programs may be executed in a step--by--step manner under interactive control. All intermediate results are presented to the user as high--level programs. Stepwise program execution provides a convenient high--level debugging facility. In order to execute programs with competitive speed, we have developed an abstract stack machine ASP, which gives special support to some key techniques for the execution of untyped functional lan...

Citations