Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman
1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
We inter-derive two prototypical styles of graph reduction: reduction machines à la Turner and graph rewriting systems à la Barendregt. To this end, we adapt Danvy et al.'s mechanical program derivations from the world of terms to the world of graphs. We also inter-derive a graph evaluator.
Tenth Symposium on Trends in Functional Programming, Tfp. Proceedings, 2009, p. 164-178
Main Research Area:
Symposium on Trends in Functional Programming, TFP, 2009