Preprocessing by Program Specialization

Karoline Malmkjær
Olivier Danvy

In 6th NWPT, pages 266-268

Abstract:

We describe an alternative approach to preprocessing that uses partial evaluation and the properties of a simple two-arguments matching program to determine structures yielding linear matching.

Comments
Computer Science Department, Aarhus University.

Available as PostScript, DVI.

BRICS WWW home page