@techreport{RISC4733,author = {A. Maletzky},
title = {{Efficient Rewriting by Object Reuse and Compiling}},
language = {english},
abstract = {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.},
number = {13-05},
year = {2013},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University of Linz},
length = {151},
type = {Master's Thesis}
}