We present an algebra for graphs with nesting and restriction features as a handy linear syntax for denoting a class of hierarchical graphs. We discuss how such graphs can be encoded into term graphs, showing that through this translation we can borrow definitions and results from the established theory of term graph rewriting.
|Title of host publication||Proceedings of WADT 2010, 20th International Workshop on Algebraic Development Techniques|
|Publication status||Published - 2010|
|Event||20th International Workshop on Algebraic Development Techniques - Schloss Etelsen, Germany|
Duration: 1 Jul 2010 → 4 Jul 2010
Conference number: 20
|Conference||20th International Workshop on Algebraic Development Techniques|
|Period||01/07/2010 → 04/07/2010|