Local normalization of functional programs

Widera, Manfred; Beierle, Christoph GND

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.

Vorschau

Zitieren

Zitierform:

Widera, Manfred / Beierle, Christoph: Local normalization of functional programs. Hagen 1999. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe