Can I read Semantics-Preserving DPO-Based Term Graph Rewriting on EtoBox?

Semantics-Preserving DPO-Based Term Graph Rewriting by Kahl, Wolfram; Zhao, Yuhang is a scholarly article available to read on EtoBox.

What is Semantics-Preserving DPO-Based Term Graph Rewriting about?

Term graph rewriting is important as "conceptual implementation" of the execution of functional programs, and of data-flow optimisations in compilers. One way to define term graph transformation rule application is via the well-established and intuitively accessible double-pushout (DPO) approach; we present a new result proving semantics preservation for such DPO-based term graph rewriting.

Author

Kahl, Wolfram; Zhao, Yuhang

Published

2019

Language

EN