Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)
Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi · Institutional Repositories DataBase (IRDB) · 1995
We propose a framework of conditional term rewriting systems equipped with meta- computation supported by basic mechanisms called meta-transformation and basetransformation.The arguments of a redex, the current set of meta-conditional rewrite rules and the four stacks of the reduction machine are considered as meta-level objects in our system, and by the meta-transformation they are transformed into base-level ob- jects.The base-transformation transforms base-level objects called meta-representation into meta-level objects.