RISC RISC Research Institute for Symbolic Computation  
  • @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}