Preprint
Semantics-Preserving DPO-Based Term Graph Rewriting
Abstract
Term graph rewriting is important as "conceptual implementation" of the
execution of functional programs, and of data-flow optimisations in compilers.
Authors
Kahl W; Zhao Y
Publication date
February 5, 2019
DOI
10.48550/arxiv.1902.02011
Preprint server
arXiv