M. Widera and C. Beierle. Local normalization of functional programs. Informatik Berichte 248, FernUniversität Hagen, Januar 1999.

Abstract:

This article presents methods for local normalization of functional programs written in LISP. The intension is a preprocessing step to reduce the set of used language constructs. This helps to reduce the complexity of subsequent program analysis. The main spots are list expressions, arithmetic expressions, especially with operators +, -, *, /, and boolean expressions. To reach this goal an extension to term rewriting systems is presented that can cope with operators of arbitrary arity as they are used in LISP.

Available: PS, BibTeX