Summary: Properties of Unfolding-based Meta-level Systems
Computer Science Department
Ny Munkegade, building 540
DK-8000 °Arhus C, Denmark
It is well known that the performance of a program can
often be improved by means of program transformation.
Several program transformation techniques, eg. partial
evaluation, work as follows: it is recognized that the
original program often, when executed, enters states
with common components. From these components
alone it may be possible to do a lot of computations
once and for all, which otherwise would have to be done
again and again.
The evaluation of the common components mentioned
above may itself benefit from identifying common com-
ponents and evaluating them separately once and for all.