"Efficient Rewriting by Object Reuse and Compiling"
, Serie RISC Report Series, Nummer 13-05, RISC Hagenberg, Hagenberg, 2013
Efficient Rewriting by Object Reuse and Compiling
Sprache des Titels:
During the process of rewriting expressions (terms/formulae), subexpressions have to be replaced by other expressions all the time. Therefore it is of particular interest to make these subsequent replacements as efficient as possible in order to speed-up the entire process. This master?s thesis pursues a new approach that was raised by the thesis supervisor for achieving precisely the mentioned increase in efficiency in connection with ?replacing expressions by expressions? by working out all the subtle details that have to be taken into account and by implementing various programs (one interpreter, two compilers) that make use of the new approach.