Data-driven Transformation of Meta-interpreters: A Sketch

We discuss a transformation method for compiling away meta-interpreters. Our technique is data-driven — references to object data are resolved away. The transformed program can be directly executed, exhibiting considerable savings in execution time and space usage. The method lends itself naturally to incremental compilation for a large subset of meta-interpreters.